3.7.51. Consecutive loops are connected

Denotes the fact that the graph constraints of a global constraint use only the 𝑃𝐴𝑇𝐻 and the 𝐿𝑂𝑂𝑃 arc generators and that their final graphs do not contain consecutive vertices that are not connected together by an arc. Moreover all vertices of their final graphs have a loop.