2.5.7. Generalisation

Denotes the fact that constraint C 𝑎𝑙𝑠𝑜 is a generalisation of constraint C 𝑒𝑛𝑡𝑟𝑦 .

EXAMPLE: As an example, constraint C 𝑎𝑙𝑠𝑜 = 𝚊𝚕𝚕_𝚖𝚒𝚗_𝚍𝚒𝚜𝚝 is a generalisation of constraint C 𝑒𝑛𝑡𝑟𝑦 = 𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝 where we replace a disequality between two variables by the fact that two line -segments of same length do not overlap.