A.1 Primitive constraints

Constraint JaCoP specification


X = Const XeqC(X, Const)
X = Y XeqY(X, Y)
XConst XneqC(X, Const)
XY XneqY(X, Y)
X > Const XgtC(X, Const)
X > Y XgtY(X, Y)
X Const XgteqC(X, Const)
X Y XgteqY(X, Y)
X < Const XltC(X, Const)
X < Y XltY(X, Y)
X Const XlteqC(X, Const)
X Y XlteqY(X, Y)
X Const = Z XmulCeqZ(X, Const, Z)
X Y = Z XmulYeqZ(X, Y, Z)
X Y = Z XdivYeqZ(X, Y, Z)
X modY = Z XmodYeqZ(X, Y, Z)
X + Const = Z XplusCeqZ(X, Const, Z)
X + Y = Z XplusYeqZ(X, Y, Z)
X + Y + Const = Z XplusYplusCeqZ(X, Y, Const, Z)
X + Y + Q = Z XplusYplusQeqZ(X, Y, Q, Z)
X + Const Z XplusClteqZ(X, Const, Z)
X + Y Z XplusYlteqZ(X, Y, Z)
X + Y > Const XplusYgtC(X, Y, Const)
X + Y + Q > Const XplusYplusQgtC(X, Y, Q, Const)
|X| = Y AbsXeqY(X, Y)
XY = Z XexpYeqZ(X, Y, Z)