CPSolver.Constraint.Factory (Fixpoint v0.8.41)

Summary

Functions

Link to this function

absolute(x, opts \\ [])

Link to this function

add(var1, var2, opts \\ [])

Link to this function

count(array, y, c)

Link to this function

element2d(array2d, x, y, opts \\ [])

Link to this function

element2d_var(array2d, x, y, opts \\ [])

Link to this function

element(array, x, opts \\ [])

Link to this function

equiv(constraint1, constraint2)

Link to this function

impl(constraint1, constraint2)

Link to this function

inverse_impl(constraint1, constraint2)

Link to this function

mod(x, y, opts \\ [])

Link to this function

subtract(var1, var2, opts \\ [])

Link to this function

sum(vars, opts \\ [])