CPSolver.Propagator behaviour (Fixpoint v0.8.9)
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
filter(args, state)
@callback filter(args :: list(), state :: map() | nil) :: map() | :stable | :fail | propagator_event()
Link to this callback
new(args)
@callback new(args :: list()) :: Propagator.t()
Link to this callback
update(t, list)
@callback update(Propagator.t(), [{:changes, any()}]) :: 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
find_variable(args, var_id)
Link to this function
new(mod, args, opts \\ [])
Link to this function
propagator_events()
Link to this function
to_domain_events(atom)
Link to this function