CPSolver.Propagator.ConstraintGraph (Fixpoint v0.3.6)
The constraint graph connects propagators and their variables. The edge between a propagator and variable represents a notification the propagator receives upon varable's domain change.
Summary
Functions
Link to this function
create(propagators)
@spec create([CPSolver.Propagator.t()]) :: Graph.t()