CPSolver.Propagator.Sum (Fixpoint v0.8.30)

The propagator for Sum constraint. Sum(y, x) constrains y to be a sum of variables in the list x.

Summary

Functions

filter(args, propagator_state, incoming_changes)

Callback implementation for CPSolver.Propagator.filter/3.

new(args)
new(y, x)
reset(args, state)

Callback implementation for CPSolver.Propagator.reset/2.

Functions

Link to this function

filter(args, propagator_state, incoming_changes)

Callback implementation for CPSolver.Propagator.filter/3.

Link to this function

new(args)

Link to this function

new(y, x)

@spec new(Common.variable_or_view(), [Common.variable_or_view()]) ::
  CPSolver.Propagator.t()
Link to this function

reset(args, state)

Callback implementation for CPSolver.Propagator.reset/2.