compare(const Space &, std::ostream &os) const | Gecode::Driver::ScriptBase | [inline, virtual] |
copy(bool share) | Partition | [inline, virtual] |
main(int argc, char *argv[]) | Partition | [related] |
Partition(const SizeOptions &opt) | Partition | [inline] |
Partition(bool share, Partition &s) | Partition | [inline] |
print(std::ostream &os) const | Partition | [inline, virtual] |
run(const Options &opt) | Gecode::Driver::ScriptBase | [static] |
ScriptBase(void) | Gecode::Driver::ScriptBase | [inline] |
ScriptBase(bool share, ScriptBase &e) | Gecode::Driver::ScriptBase | [inline] |
x | Partition | [protected] |
y | Partition | [protected] |