CPSolver.Constraint behaviour (Fixpoint v0.5.7)

Summary

Callbacks

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

propagators(args)

@callback propagators(args :: list()) :: [atom()]
Link to this callback

variables(args)

@callback variables(args :: list()) :: [CPSolver.Variable.t()]

Functions

Link to this function

constraint_to_propagators(constraint)

Link to this function

new(constraint_impl, args)