CPSolver.Constraint behaviour (Fixpoint v0.5.7)
Summary
Callbacks
Link to this callback
new(args)
@callback new(args :: list()) :: Constraint.t()
Link to this callback
propagators(args)
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