2.6.15. Related

Denotes that a constraint C 𝑒𝑛𝑡𝑟𝑦 and a constraint C 𝑎𝑙𝑠𝑜 are related by a specific reason that is not covered by an existing link.

EXAMPLE: As an example, the constraint C 𝑎𝑙𝑠𝑜 = 𝚝𝚛𝚎𝚎_𝚛𝚊𝚗𝚐𝚎 (i.e., given a digraph, partition it so that each vertex belongs to one tree for which the difference between the longest and the shortest paths – from a leaf to the root – is restricted) is related to the constraint C 𝑒𝑛𝑡𝑟𝑦 = 𝚋𝚊𝚕𝚊𝚗𝚌𝚎 (i.e., given a set of variables, restrict the difference between the number of occurrence of the value that occurs the most and the value that occurs the least) by the fact that, on the one hand the constraint 𝚝𝚛𝚎𝚎_𝚛𝚊𝚗𝚐𝚎 can express a balanced tree, on the other side the constraint 𝚋𝚊𝚕𝚊𝚗𝚌𝚎 can express a balanced assignment.