3.7.261. Vpartition

Denotes the fact that a constraint is defined by two graph constraints 𝒞 1 and 𝒞 2 such that:

  • The two graph constraints have the same initial graph G i ,

  • Each vertex of the initial graph G i belongs to exactly one of the final graphs associated with 𝒞 1 and 𝒞 2 .