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