CPSolver.Constraint.ElementVar (Fixpoint v0.10.2)

ElementVar constrains list of variables array, variables x and y such that: array[x] = y

array is a list of variables

Summary

Functions

new(args)

Callback implementation for CPSolver.Constraint.new/1.

new(array, x, y)

Functions

new(args)

Callback implementation for CPSolver.Constraint.new/1.

new(array, x, y)

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