### 3.7.10. Apartition

Denotes the fact that a constraint is defined by two graph constraints having the same initial graph, where each arc of the initial graph belongs to one of the final graph (but not to both).