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)