, including all inherited members.
| Application() | ProgramOptions::Application | [protected] |
| blockSignals() | ProgramOptions::Application | [protected] |
| clasp_ | Clasp::Cli::ClaspAppBase | [protected] |
| ClaspApp() | Clasp::Cli::ClaspApp | |
| ClaspApp(const ClaspApp &) | Clasp::Cli::ClaspApp | [private] |
| ClaspAppBase() | Clasp::Cli::ClaspAppBase | [protected] |
| claspAppOpts_ | Clasp::Cli::ClaspAppBase | [protected] |
| claspConfig_ | Clasp::Cli::ClaspAppBase | [protected] |
| ClaspPtr typedef | Clasp::Cli::ClaspAppBase | [protected] |
| createOutput(ProblemType f) | Clasp::Cli::ClaspAppBase | [protected, virtual] |
| dispatch(const Event &ev) | Clasp::EventHandler | [inline] |
| error(const char *msg) const | ProgramOptions::Application | [inline, virtual] |
| EventHandler(Event::Verbosity verbosity=Event::verbosity_quiet) | Clasp::EventHandler | [inline, explicit] |
| exit(int exitCode) const | ProgramOptions::Application | [protected] |
| exitCode(const RunSummary &sol) const | Clasp::Cli::ClaspAppBase | [protected] |
| getExitCode() const | ProgramOptions::Application | |
| getHelpOption() const | Clasp::Cli::ClaspAppBase | [inline, protected, virtual] |
| getInstance() | ProgramOptions::Application | [static] |
| getName() const | Clasp::Cli::ClaspApp | [inline, virtual] |
| getPositional() const | Clasp::Cli::ClaspAppBase | [inline, protected, virtual] |
| getProblemType() | Clasp::Cli::ClaspApp | [protected, virtual] |
| getSignals() const | Clasp::Cli::ClaspAppBase | [protected, virtual] |
| getStream() | Clasp::Cli::ClaspAppBase | [protected] |
| getUsage() const | Clasp::Cli::ClaspApp | [inline, virtual] |
| getVersion() const | Clasp::Cli::ClaspApp | [inline, virtual] |
| handlePostGroundOptions(ProgramBuilder &prg) | Clasp::Cli::ClaspAppBase | [protected] |
| handlePreSolveOptions(ClaspFacade &clasp) | Clasp::Cli::ClaspAppBase | [protected] |
| HelpOpt typedef | ProgramOptions::Application | |
| info(const char *msg) const | ProgramOptions::Application | [inline, virtual] |
| initOptions(ProgramOptions::OptionContext &root) | Clasp::Cli::ClaspAppBase | [protected, virtual] |
| killAlarm() | ProgramOptions::Application | [protected] |
| main(int argc, char **argv) | ProgramOptions::Application | |
| onEvent(const Event &ev) | Clasp::Cli::ClaspAppBase | [protected, virtual] |
| onModel(const Solver &s, const Model &m) | Clasp::Cli::ClaspAppBase | [protected, virtual] |
| onSignal(int) | Clasp::Cli::ClaspAppBase | [protected, virtual] |
| onUnhandledException() | ProgramOptions::Application | [protected, virtual] |
| operator=(const ClaspApp &) | Clasp::Cli::ClaspApp | [private] |
| out_ | Clasp::Cli::ClaspAppBase | [protected] |
| OutPtr typedef | Clasp::Cli::ClaspAppBase | [protected] |
| parsePositional(const std::string &s, std::string &out) | Clasp::Cli::ClaspAppBase | [protected, static] |
| PosOption typedef | Clasp::Cli::ClaspAppBase | |
| printDefaultConfigs() const | Clasp::Cli::ClaspAppBase | [protected] |
| printHelp(const ProgramOptions::OptionContext &root) | Clasp::Cli::ClaspApp | [protected, virtual] |
| printLibClaspVersion() const | Clasp::Cli::ClaspAppBase | [protected] |
| printTemplate() const | Clasp::Cli::ClaspAppBase | [protected] |
| printUsage() | ProgramOptions::Application | [virtual] |
| printVersion() | Clasp::Cli::ClaspAppBase | [protected, virtual] |
| processSignal(int sigNum) | ProgramOptions::Application | [protected] |
| readLemmas(SharedContext &ctx) | Clasp::Cli::ClaspAppBase | [protected] |
| run(ClaspFacade &clasp) | Clasp::Cli::ClaspApp | [protected, virtual] |
| Clasp::Cli::ClaspAppBase::run() | Clasp::Cli::ClaspAppBase | [protected, virtual] |
| RunSummary typedef | Clasp::Cli::ClaspAppBase | |
| setExitCode(int n) | ProgramOptions::Application | |
| setup() | Clasp::Cli::ClaspAppBase | [protected, virtual] |
| setVerbose(unsigned v) | ProgramOptions::Application | [protected] |
| setVerbosity(Event::Subsystem sys, Event::Verbosity verb) | Clasp::EventHandler | [inline] |
| shutdown() | Clasp::Cli::ClaspAppBase | [protected, virtual] |
| ProgramOptions::Application::shutdown(bool hasError) | ProgramOptions::Application | [protected] |
| storeCommandArgs(const ProgramOptions::ParsedValues &values) | Clasp::Cli::ClaspAppBase | [protected, virtual] |
| unblockSignals(bool deliverPending) | ProgramOptions::Application | [protected] |
| validateOptions(const ProgramOptions::OptionContext &root, const ProgramOptions::ParsedOptions &parsed, const ProgramOptions::ParsedValues &values) | Clasp::Cli::ClaspAppBase | [protected, virtual] |
| verbose() const | ProgramOptions::Application | [protected] |
| warn(const char *msg) const | ProgramOptions::Application | [inline, virtual] |
| writeNonHcfs(const SharedDependencyGraph &graph) const | Clasp::Cli::ClaspAppBase | [protected] |
| ~Application() | ProgramOptions::Application | [protected, virtual] |
| ~ClaspAppBase() | Clasp::Cli::ClaspAppBase | [protected] |
| ~EventHandler() | Clasp::EventHandler | [virtual] |