CPSolver.Constraint.Element (Fixpoint v0.10.2)

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

array is 1d list of integer constants

Summary

new(args)

Callback implementation for CPSolver.Constraint.new/1.

new(array, x, y)

Callback implementation for CPSolver.Constraint.new/1.

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