3.7.112. Graph constraint

A constraint that selects a subgraph from a given initial graph so that this subgraph satisfies a given property and/or belong to a specific graph class.