, including all inherited members.
| active() const | Clasp::Cli::ClaspCliConfig | [inline, private] |
| active() | Clasp::Cli::ClaspCliConfig | [inline, private] |
| addDisabled(ProgramOptions::ParsedOptions &parsed) | Clasp::Cli::ClaspCliConfig | |
| addOptions(ProgramOptions::OptionContext &root) | Clasp::Cli::ClaspCliConfig | |
| addPost(Solver &s) const | Clasp::UserConfiguration | [virtual] |
| addSearch(uint32 i) | Clasp::BasicSatConfig | [virtual] |
| addSolver(uint32 i) | Clasp::BasicSatConfig | [virtual] |
| addTesterConfig() | Clasp::ClaspConfig | |
| allocConfig() | Clasp::Cli::ClaspCliConfig | [static] |
| appendConfig(ConfigKey k, const char *name, const char *cmd) | Clasp::Cli::ClaspCliConfig | [static] |
| asp | Clasp::ClaspConfig | |
| AspOptions typedef | Clasp::ClaspConfig | |
| BasicSatConfig() | Clasp::BasicSatConfig | |
| ClaspCliConfig() | Clasp::Cli::ClaspCliConfig | |
| ClaspConfig() | Clasp::ClaspConfig | |
| cliConfig | Clasp::ContextParams | |
| cliId | Clasp::ContextParams | |
| cliMode | Clasp::ContextParams | |
| ConfigOption enum name | Clasp::Cli::ClaspCliConfig | [private] |
| configs_g | Clasp::Cli::ClaspCliConfig | [private, static] |
| ConfigVec typedef | Clasp::Cli::ClaspCliConfig | [private] |
| context() const | Clasp::BasicSatConfig | [inline, virtual] |
| ContextParams() | Clasp::ContextParams | [inline] |
| createOption(int o) | Clasp::Cli::ClaspCliConfig | [private] |
| CtxOpts typedef | Clasp::Configuration | |
| CtxPtr typedef | Clasp::Cli::ClaspCliConfig | [private] |
| enumerate | Clasp::ClaspConfig | |
| error(int opt) const | Clasp::Cli::ClaspCliConfig | [private] |
| finalize() | Clasp::Cli::ClaspCliConfig | |
| finalize(const ProgramOptions::ParsedOptions &parsed, ProblemType type, bool applyDefaults) | Clasp::Cli::ClaspCliConfig | |
| finalizeParsed(UserConfig *active, const ParsedOpts &parsed, ParsedOpts &exclude) const | Clasp::Cli::ClaspCliConfig | [private] |
| finalizeSolvers(UserConfig *active, const ParsedOpts &exclude, ProblemType t, bool defs) | Clasp::Cli::ClaspCliConfig | [private] |
| finalizeTester(bool defs) | Clasp::Cli::ClaspCliConfig | [private] |
| get(OptionKey o, CtxOpts *&ctx, SolverParams *&solver, SolveParams *&solve) | Clasp::Cli::ClaspCliConfig | [private] |
| getConfig(ConfigKey key) | Clasp::Cli::ClaspCliConfig | [static] |
| getDefaults(ProblemType f) | Clasp::Cli::ClaspCliConfig | [static] |
| heuristic(uint32 i) const | Clasp::BasicSatConfig | [virtual] |
| init(uint32 solverId, ConfigKey config=config_asp_default) | Clasp::Cli::ClaspCliConfig | |
| init(OptionContext *ctx, bool owned) | Clasp::Cli::ClaspCliConfig | [private] |
| initTester(uint32 solverId, ConfigKey config=config_default) | Clasp::Cli::ClaspCliConfig | |
| isGenerator() const | Clasp::Cli::ClaspCliConfig | [inline, private] |
| loadConfig(const char *fileName) | Clasp::Cli::ClaspCliConfig | [static] |
| mode_relaxed | Clasp::Cli::ClaspCliConfig | [private, static] |
| mode_solver | Clasp::Cli::ClaspCliConfig | [private, static] |
| mode_tester | Clasp::Cli::ClaspCliConfig | [private, static] |
| numSearch() const | Clasp::BasicSatConfig | [inline, virtual] |
| numSolver() const | Clasp::BasicSatConfig | [inline, virtual] |
| opt_applied | Clasp::Cli::ClaspCliConfig | [private, static] |
| opt_configuration enum value | Clasp::Cli::ClaspCliConfig | [private] |
| opt_tester enum value | Clasp::Cli::ClaspCliConfig | [private] |
| OptionContext typedef | Clasp::Cli::ClaspCliConfig | [private] |
| opts_ | Clasp::Cli::ClaspCliConfig | [private] |
| ParsedOpts typedef | Clasp::Cli::ClaspCliConfig | [private] |
| prepare(SharedContext &) | Clasp::ClaspConfig | [virtual] |
| releaseConfig(ConfigKey key) | Clasp::Cli::ClaspCliConfig | [static] |
| reserved | Clasp::ContextParams | |
| reset() | Clasp::ClaspConfig | [virtual] |
| resize(uint32 numSolver, uint32 numSearch) | Clasp::BasicSatConfig | [virtual] |
| RootPtr typedef | Clasp::Cli::ClaspCliConfig | [private] |
| satPre | Clasp::ContextParams | |
| search(uint32 i) const | Clasp::BasicSatConfig | [inline, virtual] |
| SearchOpts typedef | Clasp::Configuration | |
| seed | Clasp::ContextParams | |
| set(OptionKey o, const char *value) | Clasp::Cli::ClaspCliConfig | |
| set(uint32 solverId, OptionKey o, const char *value) | Clasp::Cli::ClaspCliConfig | |
| set(ConfigOption o, const char *value) | Clasp::Cli::ClaspCliConfig | [private] |
| set(const ConfigIter &it, bool allowConfig, const ParsedOpts &exclude, ParsedOpts *out) | Clasp::Cli::ClaspCliConfig | [private] |
| setConfig(IT first, IT last, ProblemType t) | Clasp::Cli::ClaspCliConfig | [inline] |
| setConfig(const RawConfig &c, ProblemType t) | Clasp::Cli::ClaspCliConfig | [private] |
| setDefaults(UserConfig *active, uint32 sId, const ParsedOpts &exclude, ProblemType t) | Clasp::Cli::ClaspCliConfig | [private] |
| setSolvers(uint32 n) | Clasp::ClaspConfig | |
| setTester(uint32 solverId, OptionKey o, const char *value) | Clasp::Cli::ClaspCliConfig | |
| share_all enum value | Clasp::ContextParams | |
| share_auto enum value | Clasp::ContextParams | |
| share_learnt enum value | Clasp::ContextParams | |
| share_no enum value | Clasp::ContextParams | |
| share_problem enum value | Clasp::ContextParams | |
| ShareMode enum name | Clasp::ContextParams | |
| shareMode | Clasp::ContextParams | |
| short_explicit enum value | Clasp::ContextParams | |
| short_implicit enum value | Clasp::ContextParams | |
| ShortMode enum name | Clasp::ContextParams | |
| shortMode | Clasp::ContextParams | |
| solve | Clasp::ClaspConfig | |
| solver(uint32 i) const | Clasp::BasicSatConfig | [inline, virtual] |
| SolverIt typedef | Clasp::ClaspConfig | |
| SolverOpts typedef | Clasp::Configuration | |
| stats | Clasp::ContextParams | |
| testerConfig() const | Clasp::ClaspConfig | [inline] |
| UserConfig typedef | Clasp::ClaspConfig | |
| ~ClaspCliConfig() | Clasp::Cli::ClaspCliConfig | |
| ~ClaspConfig() | Clasp::ClaspConfig | |
| ~Configuration() | Clasp::Configuration | [virtual] |