This is the complete list of members for
Clasp::Cli::Output, including all inherited members.
| callQ() const | Clasp::Cli::Output | [inline] |
| clearModel() | Clasp::Cli::Output | [inline, protected] |
| dispatch(const Event &ev) | Clasp::EventHandler | [inline] |
| doPrint(const SymbolTable::symbol_type &sym) const | Clasp::Cli::Output | [inline, protected] |
| EventHandler(Event::Verbosity verbosity=Event::verbosity_quiet) | Clasp::EventHandler | [inline, explicit] |
| getModel() const | Clasp::Cli::Output | [inline, protected] |
| hidePref_ | Clasp::Cli::Output | [private] |
| modelQ() const | Clasp::Cli::Output | [inline] |
| onEvent(const Event &ev) | Clasp::Cli::Output | [virtual] |
| onModel(const Solver &s, const Model &m) | Clasp::Cli::Output | [virtual] |
| operator=(const Output &) | Clasp::Cli::Output | [private] |
| optQ() const | Clasp::Cli::Output | [inline] |
| Output(uint32 verb=1) | Clasp::Cli::Output | [explicit] |
| Output(const Output &) | Clasp::Cli::Output | [private] |
| print_all enum value | Clasp::Cli::Output | |
| print_best enum value | Clasp::Cli::Output | |
| print_no enum value | Clasp::Cli::Output | |
| PrintLevel enum name | Clasp::Cli::Output | |
| printModel(const SymbolTable &sym, const Model &m, PrintLevel x)=0 | Clasp::Cli::Output | [pure virtual] |
| printStatistics(const ClaspFacade::Summary &summary, bool final)=0 | Clasp::Cli::Output | [pure virtual] |
| printSummary(const ClaspFacade::Summary &summary, bool final)=0 | Clasp::Cli::Output | [pure virtual] |
| quiet() const | Clasp::Cli::Output | [inline] |
| quiet_ | Clasp::Cli::Output | [private] |
| run(const char *solver, const char *version, const std::string *begInput, const std::string *endInput)=0 | Clasp::Cli::Output | [pure virtual] |
| saved_ | Clasp::Cli::Output | [private] |
| saveModel(const Model &m) | Clasp::Cli::Output | [protected] |
| setCallQuiet(PrintLevel call) | Clasp::Cli::Output | |
| setHide(char c) | Clasp::Cli::Output | |
| setModelQuiet(PrintLevel model) | Clasp::Cli::Output | |
| setOptQuiet(PrintLevel opt) | Clasp::Cli::Output | |
| setVerbosity(uint32 verb) | Clasp::Cli::Output | |
| Clasp::EventHandler::setVerbosity(Event::Subsystem sys, Event::Verbosity verb) | Clasp::EventHandler | [inline] |
| shutdown(const ClaspFacade::Summary &summary) | Clasp::Cli::Output | [virtual] |
| shutdown()=0 | Clasp::Cli::Output | [pure virtual] |
| startStep(const ClaspFacade &) | Clasp::Cli::Output | [virtual] |
| stopStep(const ClaspFacade::Summary &summary) | Clasp::Cli::Output | [virtual] |
| summary_ | Clasp::Cli::Output | [private] |
| SumPtr typedef | Clasp::Cli::Output | [private] |
| vals_ | Clasp::Cli::Output | [private] |
| verbose_ | Clasp::Cli::Output | [private] |
| verbosity() const | Clasp::Cli::Output | [inline] |
| ~EventHandler() | Clasp::EventHandler | [virtual] |
| ~Output() | Clasp::Cli::Output | [virtual] |