Fixpoint v0.13.2

CPSolver.Constraint.Sum (Fixpoint v0.13.2)

Link to this section Summary

Functions

arguments(args)

Callback implementation for CPSolver.Constraint.arguments/1.

new(args)

Callback implementation for CPSolver.Constraint.new/1.

new(c, x)

Link to this section Functions

Link to this function

arguments(args)

Callback implementation for CPSolver.Constraint.arguments/1.

Link to this function

new(args)

Callback implementation for CPSolver.Constraint.new/1.

Link to this function

new(c, x)

Specs

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