CPSolver.Constraint behaviour (Fixpoint v0.8.30)

Summary

Callbacks

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

Functions

constraint_to_propagators(constraint)
extract_variables(arg)
new(constraint_impl, args)
post(constraint)

Callbacks

Link to this callback

arguments(args)

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

new(args)

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

propagators(args)

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

Functions

Link to this function

constraint_to_propagators(constraint)

Link to this function

extract_variables(arg)

Link to this function

new(constraint_impl, args)

Link to this function

post(constraint)