CPSolver.Constraint.Sum (Fixpoint v0.10.2)

Summary

Functions

arguments(args)

Callback implementation for CPSolver.Constraint.arguments/1.

new(args)

Callback implementation for CPSolver.Constraint.new/1.

new(c, x)

Functions

arguments(args)

Callback implementation for CPSolver.Constraint.arguments/1.

new(args)

Callback implementation for CPSolver.Constraint.new/1.

new(c, x)

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