Sorry for the wrong form i've provided. Here is an example of what i wanted to express :
1) Given the fact that Status and Succ are matrix interfaces of two IntVarArray and t, m are integers, the expression : expr(*this, Status(Succ(t,m), m) != 3); // don't compile is more "elegant" than : expr(*this, element(Status.row(m), Succ(t,m)) != 3) But it seems difficult to implement the first one. 2) I have another exemple in mind : expr(*this, Succ(t,m) != t); // don't compile For now, one have to write this to compile : IntVar T(*this, t, t); expr(*this, Succ(t,m) != T); Anyway, it's just syntaxic sugar... sorry to bother you with these remarks. Best, Philippe _______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
