3.4. Figures of the catalogue
The catalogue contains the following types of figures:
Figures that give the normalised signature tree of the arguments of a global constraint These figures are located in SectionΒ 3.5.
Figures that provide the implication graph between global constraints that have the same normalised signature tree for their arguments (e.g.,Β see the figure embedded in the lower part of TableΒ 3.5.1).
Figures that illustrate a global constraint or a keyword (e.g.,Β see FigureΒ 3.7.28 that illustrates the keyword limited discrepancy search).
Figures that depict the initial as well as the final graphs associated with a global constraint (e.g.,Β see FigureΒ 5.49.1 that provides the initial and final graphs of the constraint).
Figures that provide an automaton that only recognises the solutions associated with a given global constraint (e.g.,Β see FigureΒ 5.143.2 that gives the automaton of the constraint).
Figures that give the hypergraph associated with the decomposition of an automaton in terms of signature and transition constraints (e.g.,Β see FigureΒ 5.143.3 that gives the hypergraph of the automaton -based reformulation of the constraint).
Figures for the graph structure of the XML schema of the parameters of a global constraint. They are only available in the on -line version of the catalogue.
Figures for visualising different views (i.e.,Β compulsory part and cumulative profile) of two -dimensionalΒ placement of constraints. These figures are only available in the on -line version of the catalogue. They are accessible from the table containing the squared squares problem instances.
Most of the graph figures that depict the initial and final graph of a global constraint of this catalogue as well as the graph structure of the XML schema of the parameters of a global constraint were automatically generated by using the open source graph drawing software GraphvizΒ [GansnerNorth00] available from AT&T.http://www.research.att.com/sw/tools/graphviz Within the web version, figures for visualising two -dimensionalΒ placement constraints were also automatically produced by generating PSTricksΒ [Voss07] code.