2.5.17. Shift of concept

Constraint C π‘Žπ‘™π‘ π‘œ is derived from constraint C π‘’π‘›π‘‘π‘Ÿπ‘¦ .

EXAMPLE: As an example, constraint C π‘Žπ‘™π‘ π‘œ = πšπš•πš˜πš‹πšŠπš•_πšŒπšŠπš›πšπš’πš—πšŠπš•πš’πšπš’_πš—πš˜_πš•πš˜πš˜πš™(𝙽𝙻𝙾𝙾𝙿, πš…π™°πšπ™Έπ™°π™±π™»π™΄πš‚,πš…π™°π™»πš„π™΄πš‚) is derived from constraint C π‘’π‘›π‘‘π‘Ÿπ‘¦ = πšπš•πš˜πš‹πšŠπš•_πšŒπšŠπš›πšπš’πš—πšŠπš•πš’πšπš’(πš…π™°πšπ™Έπ™°π™±π™»π™΄πš‚, πš…π™°π™»πš„π™΄πš‚) (i.e.,Β each value πš…π™°π™»πš„π™΄πš‚[i].πšŸπšŠπš• should be taken by exactly πš…π™°π™»πš„π™΄πš‚[i].πšŸπšŠπš• variables of the πš…π™°πšπ™Έπ™°π™±π™»π™΄πš‚ collection) by discarding all variables such that πš…π™°πšπ™Έπ™°π™±π™»π™΄πš‚[i].πšŸπšŠπš›=i.