CPSolver.Propagator behaviour (Fixpoint v0.8.30)
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
arguments(args)
@callback arguments(args :: list()) :: Arrays.t()
Link to this callback
filter(args)
@callback filter(args :: list()) :: {:state, map()} | :stable | :fail | propagator_event()
Link to this callback
filter(args, state)
@callback filter(args :: list(), state :: map() | nil) :: {:state, map()} | :stable | :fail | propagator_event()
Link to this callback
filter(args, state, changes)
@callback filter(args :: list(), state :: map() | nil, changes :: map()) :: {:state, map()} | :stable | :fail | propagator_event()
Link to this callback
reset(args, state)
Link to this callback
variables(args)
Functions
Link to this function
arg_at(args, pos)
Link to this function
arg_map(args, mapper)
Link to this function
args_to_list(args)
Link to this function
bind_to_variables(propagator, indexed_variables, var_field)
Link to this function
default_variables_impl(args)
Link to this function
filter(propagator, opts \\ [])
Link to this function
is_constant_arg(arg)
Link to this function
new(mod, args, opts \\ [])
Link to this function
propagator_events()
Link to this function
reset(propagator)
Link to this function
to_domain_events(arg1)
Link to this function