CPSolver.Propagator behaviour (Fixpoint v0.5.0)
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
default_variables_impl(args)
Link to this function
filter(propagator)
Link to this function
filter(propagator, id)
Link to this function
filter(mod, args, id \\ nil)
Link to this function
new(mod, args)
Link to this function
normalize(propagators)
@spec normalize([Propagator.t()]) :: %{required(reference()) => Propagator.t()}
Link to this function
propagator_events()
Link to this function