CPSolver.Propagator.Or (Fixpoint v0.13.2)
The propagator for 'or' constraint. Takes the list of boolean variables. Constraints to have at least one variable to be resolved to true.
Link to this section Summary
Functions
Callback implementation for CPSolver.Propagator.bind/3.
Callback implementation for CPSolver.Propagator.entailed?/2.
Callback implementation for CPSolver.Propagator.failed?/2.
Callback implementation for CPSolver.Propagator.reset/2.
Callback implementation for CPSolver.Propagator.reset/3.
Link to this section Functions
Link to this function
bind(propagator, source, var_field)
Callback implementation for CPSolver.Propagator.bind/3.
Link to this function
entailed?(args, propagator_state)
Callback implementation for CPSolver.Propagator.entailed?/2.
Link to this function
failed?(args, propagator_state)
Callback implementation for CPSolver.Propagator.failed?/2.
Link to this function
new(args)
Link to this function
reset(args, state)
Callback implementation for CPSolver.Propagator.reset/2.
Link to this function
reset(args, state, opts)
Callback implementation for CPSolver.Propagator.reset/3.