3.7.233. Sliding sequence constraint

A constraint enforcing a condition on sliding sequences of domain variables that partially overlap or a constraint computing a quantity from a set of sliding sequences. These sliding sequences can be either initially given or dynamically constructed. In the latter case they can for instance correspond to adjacent vertices of a path that has to be built.