2.5. Semantic links between global constraints
For each global constraint entry of the catalogue, the slot See also provides links to other global constraints. Rather than just pointing to a set of constraints, we prefer to explicitly indicate the reason why we point to a given constraint. A link from a constraint (i.e., the constraint associated with a catalogue entry) to another constraint (i.e., the constraint of the See also slot located in the catalogue entry of constraint ) has a given semantics and this section describes the kind of semantic links that are currently used. Before introducing each semantic link and its meaning, let us first quote the fact that some of them are related by one of the following relations:
A link is symmetric if and only if .
A link is asymmetric if and only if ( is a shortcut for denoting the fact that the link does not occur in the catalogue).
A link is the converse of a link if and only if .
Table 2.5.0 lists each semantic link and the relation it has.All links are automatically checked with respect to their relation each time the catalogue is generated. Then one section describes the meaning of each semantic link.
- 2.5.1. Assignment dimension added
- 2.5.2. Assignment dimension removed
- 2.5.3. Attached to cost variant
- 2.5.4. Common keyword
- 2.5.5. Comparison swapped
- 2.5.6. Cost variant
- 2.5.7. Generalisation
- 2.5.8. Hard version
- 2.5.9. Implied by
- 2.5.10. Implies
- 2.5.11. Implies if swap arguments
- 2.5.12. Negation
- 2.5.13. Part of system of constraints
- 2.5.14. Related
- 2.5.15. Related to a common problem
- 2.5.16. Root concept
- 2.5.17. Shift of concept
- 2.5.18. Soft variant
- 2.5.19. Specialisation
- 2.5.20. System of constraints
- 2.5.21. Used in graph description
- 2.5.22. Used in reformulation
- 2.5.23. Uses in its reformulation