CPSolver.Constraint behaviour (Fixpoint v0.8.25)

Summary

Callbacks

@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)