CPSolver.Constraint.Or (Fixpoint v0.8.51)
ElementVar constrains list of variables array
, variables x
and y
such that:
array[x] = y
array is a list of variables
Summary
Functions
Callback implementation for CPSolver.Constraint.new/1
.
Functions
Link to this function
new(args)
@spec new([CPSolver.IntVariable.variable_or_view()]) :: CPSolver.Constraint.t()
Callback implementation for CPSolver.Constraint.new/1
.