alternatives | Gecode::Set::Branch::AssignValMax | [static] |
AssignValMax(void) | Gecode::Set::Branch::AssignValMax | [inline] |
AssignValMax(Space &home, const ValBranchOptions &vbo) | Gecode::Set::Branch::AssignValMax | [inline] |
tell(Space &home, unsigned int a, SetView x, int v) | Gecode::Set::Branch::ValMax< inc > | |
val(Space &home, SetView x) const | Gecode::Set::Branch::ValMax< inc > | |
ValMax(void) | Gecode::Set::Branch::ValMax< inc > | |
ValMax(Space &home, const ValBranchOptions &vbo) | Gecode::Set::Branch::ValMax< inc > |