CPSolver.Constraint.Element2D (Fixpoint v0.8.30)
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.
Summary
Functions
Link to this function
new(args)
Callback implementation for CPSolver.Constraint.new/1.
Link to this function
new(arr2d, x, y, z)
@spec new( [[integer()]], CPSolver.IntVariable.variable_or_view(), CPSolver.IntVariable.variable_or_view(), CPSolver.IntVariable.variable_or_view() ) :: CPSolver.Constraint.t()