CPSolver.Constraint.Element2D (Fixpoint v0.10.2)

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

new(args)

Callback implementation for CPSolver.Constraint.new/1.

new(arr2d, x, y, z)

Functions

new(args)

Callback implementation for CPSolver.Constraint.new/1.

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()