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()