CPSolver.Propagator behaviour (Fixpoint v0.5.7)
Summary
Types
Link to this type
propagator_event()
@type propagator_event() ::
:domain_change | :bound_change | :min_change | :max_change | :fixed
Callbacks
Link to this callback
filter(args)
@callback filter(args :: list()) :: map() | :stable | :fail | propagator_event()
Link to this callback
new(args)
@callback new(args :: list()) :: Propagator.t()
Link to this callback
variables(args)
Functions
Link to this function
bind_to_variables(propagator, indexed_variables)
Link to this function
default_variables_impl(args)
Link to this function
filter(propagator, opts \\ [])
Link to this function
new(mod, args, opts \\ [])
Link to this function
propagator_events()
Link to this function