compare(const Space &, std::ostream &os) const | Gecode::Driver::ScriptBase | [inline, virtual] |
copy(bool share) | LangfordNumber | [inline, virtual] |
k | LangfordNumber | [protected] |
LangfordNumber(const LangfordNumberOptions &opt) | LangfordNumber | [inline] |
LangfordNumber(bool share, LangfordNumber &l) | LangfordNumber | [inline] |
main(int argc, char *argv[]) | LangfordNumber | [related] |
n | LangfordNumber | [protected] |
print(std::ostream &os) const | LangfordNumber | [inline, virtual] |
PROP_EXTENSIONAL enum value | LangfordNumber | |
PROP_EXTENSIONAL_CHANNEL enum value | LangfordNumber | |
PROP_REIFIED enum value | LangfordNumber | |
run(const Options &opt) | Gecode::Driver::ScriptBase | [static] |
ScriptBase(void) | Gecode::Driver::ScriptBase | [inline] |
ScriptBase(bool share, ScriptBase &e) | Gecode::Driver::ScriptBase | [inline] |
y | LangfordNumber | [protected] |