compare(const Space &, std::ostream &os) const | Gecode::Driver::ScriptBase< BaseSpace > | [inline, virtual] |
copy(bool share) | MagicSequence | [inline, virtual] |
MagicSequence(const SizeOptions &opt) | MagicSequence | [inline] |
MagicSequence(bool share, MagicSequence &e) | MagicSequence | [inline] |
main(int argc, char *argv[]) | MagicSequence | [related] |
print(std::ostream &os) const | MagicSequence | [inline, virtual] |
PROP_COUNT enum value | MagicSequence | |
PROP_GCC enum value | MagicSequence | |
run(const Options &opt, Script *s=NULL) | Gecode::Driver::ScriptBase< BaseSpace > | [static] |
ScriptBase(void) | Gecode::Driver::ScriptBase< BaseSpace > | [inline] |
ScriptBase(bool share, ScriptBase &e) | Gecode::Driver::ScriptBase< BaseSpace > | [inline] |
select_ostream(const char *name, std::ofstream &ofs) | Gecode::Driver::ScriptBase< BaseSpace > | [static] |