CPSolver.Propagator behaviour (Fixpoint v0.3.6)
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
events()
@callback events() :: list()
Link to this callback
filter(args)
Link to this callback
variables(args)
Functions
Link to this function
default_variables_impl(args)
Link to this function
filter(mod, args)
Link to this function
normalize(propagators, store \\ nil)
@spec normalize([Propagator.t()], ConstraintStore.t()) :: %{ required(reference()) => Propagator.t() }
Link to this function
propagator_events()
Link to this function