Fixpoint
v0.10.1
Pages
Modules
Search documentation of Fixpoint
Settings
CPSolver.Constraint.Factory
(Fixpoint v0.10.1)
Summary
Functions
absolute(x)
absolute(x, abs_var)
add(var1, var2)
alldifferent(vars)
count(array, y, c)
element2d(array2d, x, y)
element2d(array2d, x, y, z)
element2d_var(array2d, x, y)
element2d_var(array2d, x, y, z)
element(array, x)
element(array, x, y)
equal(x, y)
equiv(constraint1, constraint2)
impl(constraint1, constraint2)
inverse(f, inv_f)
inverse_impl(constraint1, constraint2)
mod(x, y)
mod(mod_var, x, y)
subtract(var1, var2)
sum(vars)
sum(vars, sum_var)
Functions
absolute(x)
absolute(x, abs_var)
add(var1, var2)
alldifferent(vars)
count(array, y, c)
element2d(array2d, x, y)
element2d(array2d, x, y, z)
element2d_var(array2d, x, y)
element2d_var(array2d, x, y, z)
element(array, x)
element(array, x, y)
equal(x, y)
equiv(constraint1, constraint2)
impl(constraint1, constraint2)
inverse(f, inv_f)
inverse_impl(constraint1, constraint2)
mod(x, y)
mod(mod_var, x, y)
subtract(var1, var2)
sum(vars)
sum(vars, sum_var)