CPSolver.Constraint.Or (Fixpoint v0.8.44)

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

@spec new([CPSolver.IntVariable.variable_or_view()]) :: CPSolver.Constraint.t()

Callback implementation for CPSolver.Constraint.new/1.