3.7.186. Predefined constraint

A constraint for which the meaning is not explicitly described in terms of graph properties or in terms of automata or in terms of first order logic.