CPSolver.Constraint.Element2D (Fixpoint v0.14.4)
Element2d constrains variables z, x and y such that: array2d[x][y] = z
array2d is a regular (all rows are of the same length) list of lists of integers.
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(arr2d, x, y, z)
Specs
new( [[integer()]], CPSolver.IntVariable.variable_or_view(), CPSolver.IntVariable.variable_or_view(), CPSolver.IntVariable.variable_or_view() ) :: CPSolver.Constraint.t()