Searching from a graph property perspective

Section 6 provides the list of restrictions, of arc generators, of graph parameters and of set generators sorted in alphabetic order with a link to their definitions. In the online version of the catalogue, each of these elements is also given with the list of global constraints it is in use in. In the pdf version, the index provides a more precise way to search for a global constraint from its graph property-based description. The index contains all the arc generators as well as all the graph properties and the pages where they are mentioned.Arc generators and graph properties are introduced in the section “Describing Explicitly Global Constraints”. This allows finding all global constraints that use a given arc generator or a given graph property in their definitions. You can further restrict your search to those global constraints using a specific combination of arc generators and graph properties. All these combinations are listed at the “signature” entry of the index. Within these combinations, a graph property with an underline means that the constraint should be evaluated each time the minimum of this graph property increases. Similarly a graph property with an overline indicates that the constraint should be evaluated each time the maximum of this graph property decreases. For instance if we look for those constraints that both use the 𝐶𝐿𝐼𝑄𝑈𝐸 arc generator as well as the 𝐍𝐀𝐑𝐂 graph-property we find the 𝚒𝚗𝚟𝚎𝚛𝚜𝚎 and 𝚙𝚕𝚊𝚌𝚎_𝚒𝚗_𝚙𝚢𝚛𝚊𝚖𝚒𝚍 constraints. Since 𝐍𝐀𝐑𝐂 is underlined and overlined these constraints will have to be woken each time the minimum or the maximum of 𝐍𝐀𝐑𝐂 changes. The signature associated with a global constraint is also shown in the header of the even pages corresponding to the description of the global constraint.