CPSolver.Constraint.Element2D (Fixpoint v0.8.24)

Element2d constrains variables z, x and y such that: array2d[x][y] = z

Summary

Functions

Callback implementation for CPSolver.Constraint.new/1.

Link to this function

new(arr2d, x, y, z)

@spec new(
  [[integer()]],
  Variable.variable_or_view(),
  Variable.variable_or_view(),
  Variable.variable_or_view()
) :: CPSolver.Constraint.t()