2.5.2. Assignment dimension removed

Constraint C π‘Žπ‘™π‘ π‘œ corresponds to constraint C π‘’π‘›π‘‘π‘Ÿπ‘¦ where an assignment dimension is removed from C π‘’π‘›π‘‘π‘Ÿπ‘¦ .

EXAMPLE: As an example, constraint C π‘Žπ‘™π‘ π‘œ = πšŠπš–πš˜πš—πš_πš•πš˜πš _πšžπš™ corresponds to constraint C π‘’π‘›π‘‘π‘Ÿπ‘¦ = πš’πš—πšπšŽπš›πšŸπšŠπš•_πšŠπš—πš_πšŒπš˜πšžπš—πš where an assignment dimension corresponding to the πš˜πš›πš’πšπš’πš— attribute is removed from C π‘’π‘›π‘‘π‘Ÿπ‘¦ = πš’πš—πšπšŽπš›πšŸπšŠπš•_πšŠπš—πš_πšŒπš˜πšžπš—πš (i.e., the constraint πš’πš—πšπšŽπš›πšŸπšŠπš•_πšŠπš—πš_πšŒπš˜πšžπš—πš enforces a πšŠπš–πš˜πš—πš_πš•πš˜πš _πšžπš™ constraint for each maximum set of tasks for which the origin is assigned the same interval [kΒ·πš‚π™Έπš‰π™΄_π™Έπ™½πšƒπ™΄πšπš…π™°π™»,kΒ·πš‚π™Έπš‰π™΄_π™Έπ™½πšƒπ™΄πšπš…π™°π™»+πš‚π™Έπš‰π™΄_π™Έπ™½πšƒπ™΄πšπš…π™°π™»-1]) (πš‚π™Έπš‰π™΄_π™Έπ™½πšƒπ™΄πšπš…π™°π™» is the last argument of πš’πš—πšπšŽπš›πšŸπšŠπš•_πšŠπš—πš_πšŒπš˜πšžπš—πš).