CPSolver.Constraint.Sum (Fixpoint v0.8.30)
Summary
Functions
Callback implementation for CPSolver.Constraint.arguments/1.
Callback implementation for CPSolver.Constraint.new/1.
Functions
Link to this function
arguments(args)
Callback implementation for CPSolver.Constraint.arguments/1.
Link to this function
new(args)
Callback implementation for CPSolver.Constraint.new/1.
Link to this function
new(c, x)
@spec new(CPSolver.IntVariable.variable_or_view(), [
CPSolver.IntVariable.variable_or_view()
]) ::
CPSolver.Constraint.t()