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

@callback events() :: list()
@callback filter(args :: list()) :: map() | :stable | :failure
Link to this callback

variables(args)

@callback variables(args :: list()) :: list()

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

to_domain_events(atom)