CPSolver.Constraint behaviour (Fixpoint v0.10.2)

Summary

Callbacks

arguments(args)

@callback arguments(args :: list()) :: list()

new(args)

@callback new(args :: list()) :: Constraint.t()

propagators(args)

@callback propagators(args :: list()) :: [atom()]

Functions

constraint_to_propagators(constraint, reducer_fun \\ &Function.identity/1)

extract_variables(constraint)

new(constraint_impl, args)

post(constraint)