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 definition. 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 for finding all global constraints that use a given arc generator or a given graph property in their definition. 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.