diff options
author | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-10-30 21:30:53 +1100 |
---|---|---|
committer | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-10-30 21:30:53 +1100 |
commit | 3d372ecf513c951675602286b296f7af520bb3cf (patch) | |
tree | 87b3a75507c64e202ffc6d83028e9da1821412c9 /impl/systems | |
parent | 093a35f07986ecfac8c43d053445e8417c7c2139 (diff) | |
parent | 6a4786bde976e9a023c7f65a395384d214c5102c (diff) |
Merge branch 'master' of ssh://bitbucket.org/czan/honours
Diffstat (limited to 'impl/systems')
-rw-r--r-- | impl/systems/example.eqns | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/impl/systems/example.eqns b/impl/systems/example.eqns index 71ee74a..dc59a01 100644 --- a/impl/systems/example.eqns +++ b/impl/systems/example.eqns @@ -1,3 +1,3 @@ -x1 = max(0, min(x1-1, x2)) +x1 = max(0, min(x1 - 1, x2)) x2 = max(0, 5+x1, x1) -x3 = max(0, 1+x3, 0+x1) +x3 = max(0, 1 + x3, 0 + x1) |