Fixpoint v0.13.2

CPSolver.Constraint behaviour (Fixpoint v0.13.2)

Link to this section Summary

Callbacks

arguments(args)
new(args)
propagators(args)

Functions

constraint_to_propagators(constraint, reducer_fun \\ &Function.identity/1)
extract_variables(constraint)
new(constraint_impl, args)
post(constraint)

Link to this section Callbacks

Link to this callback

arguments(args)

Specs

arguments(args :: list()) :: list()
Link to this callback

new(args)

Specs

new(args :: list()) :: Constraint.t()
Link to this callback

propagators(args)

Specs

propagators(args :: list()) :: [atom()]

Link to this section Functions

Link to this function

constraint_to_propagators(constraint, reducer_fun \\ &Function.identity/1)

Link to this function

extract_variables(constraint)

Link to this function

new(constraint_impl, args)

Link to this function

post(constraint)