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