CPSolver.Constraint.Factory (Fixpoint v0.8.30)

Summary

Functions

absolute(x, opts \\ [])
add(var1, var2, opts \\ [])
element2d(array2d, x, y, opts \\ [])
element(array, x, opts \\ [])
mod(x, y, opts \\ [])
subtract(var1, var2, opts \\ [])
sum(vars, opts \\ [])

Functions

Link to this function

absolute(x, opts \\ [])

Link to this function

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

Link to this function

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

Link to this function

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

Link to this function

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

Link to this function

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

Link to this function

sum(vars, opts \\ [])