CPSolver.Constraint behaviour (Fixpoint v0.8.50)
Summary
Callbacks
Link to this callback
arguments(args)
Link to this callback
new(args)
@callback new(args :: list()) :: Constraint.t()
Link to this callback
propagators(args)
Functions
Link to this function
constraint_to_propagators(constraint)
Link to this function
extract_variables(constraint)
Link to this function
new(constraint_impl, args)
Link to this function