CPSolver.Constraint.Element (Fixpoint v0.8.27)
Element constrains variables y and z such that: array[y] = z
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(array, y, z)
@spec new( [integer()], Variable.variable_or_view(), Variable.variable_or_view() ) :: CPSolver.Constraint.t()