CPSolver.Constraint behaviour (Fixpoint v0.2.2)

Summary

Callbacks

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

new(constraint_impl, args)