summaryrefslogtreecommitdiff
path: root/impl/systems/example.eqns
blob: dc59a01b0a773bce1a6a231df6f374daf7ec7d89 (about) (plain)
1
2
3
x1 = max(0, min(x1 - 1, x2))
x2 = max(0, 5+x1, x1)
x3 = max(0, 1 + x3, 0 + x1)