CPSolver.Constraint.Element (Fixpoint v0.8.30)

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

array is 1d list of integer constants

Summary

Functions

new(args)

Callback implementation for CPSolver.Constraint.new/1.

new(array, x, y)

Functions

Link to this function

new(args)

Callback implementation for CPSolver.Constraint.new/1.

Link to this function

new(array, x, y)

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