1.eqns « test « impl - honours - My honours project from 2012.

summary refs log tree commit diff

path: root/impl/test/1.eqns

blob: 0cdfd24678baa03d0a3edb4c196f18d5299c4de7 (about) (plain)

1
2
3

x = max(0, min(-1 + x, y))
y = max(0, 5 + x, x)
z = max(0, 1 + z, 0 + x)