3.7.4. Acyclic

Denotes the fact that a constraint is defined by one single graph constraint for which the final graph doesn't have any circuit.