CPSolver.Constraint.Element (Fixpoint v0.8.24)

Element constrains variables y and z such that: array[y] = z

Summary

Functions

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