EXAMPLE:
As an example, constraint
is a specialisation of constraint .
Given a digraph , the constraint forces a covering of by a set of trees
in such a way that each vertex of belongs to one distinct tree.
If, in addition, we restrict each vertex to have at most one child we get the constraint.