Fixpoint v0.14.4

CPSolver.Constraint.Element (Fixpoint v0.14.4)

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

array is 1d list of integer constants

Link to this section Summary

Functions

new(args)

Callback implementation for CPSolver.Constraint.new/1.

new(array, x, y)

Link to this section Functions

Link to this function

new(args)

Callback implementation for CPSolver.Constraint.new/1.

Link to this function

new(array, x, y)

Specs

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