This is the complete list of members for
Clasp::ClaspFacade, including all inherited members.
| accu_ | Clasp::ClaspFacade | [private] |
| accuStep() | Clasp::ClaspFacade | [private] |
| assume(Literal p) | Clasp::ClaspFacade | |
| assume(const LitVec &ext) | Clasp::ClaspFacade | |
| assume_ | Clasp::ClaspFacade | [private] |
| builder_ | Clasp::ClaspFacade | [private] |
| BuilderPtr typedef | Clasp::ClaspFacade | [private] |
| ClaspFacade() | Clasp::ClaspFacade | |
| config() const | Clasp::ClaspFacade | [inline] |
| config_ | Clasp::ClaspFacade | [private] |
| ctx | Clasp::ClaspFacade | |
| discardProblem() | Clasp::ClaspFacade | [private] |
| dispatch(const Event &ev) | Clasp::EventHandler | [inline] |
| enum_static enum value | Clasp::ClaspFacade | |
| enum_volatile enum value | Clasp::ClaspFacade | |
| EnumMode enum name | Clasp::ClaspFacade | |
| EventHandler(Event::Verbosity verbosity=Event::verbosity_quiet) | Clasp::EventHandler | [inline, explicit] |
| getKeys(const char *path) const | Clasp::ClaspFacade | |
| getStat(const char *path) const | Clasp::ClaspFacade | |
| getStat(const SharedContext &ctx, const char *key, bool accu, const Range< uint32 > &r) const | Clasp::ClaspFacade | [private] |
| getStatImpl(const char *path, bool keys) const | Clasp::ClaspFacade | [private] |
| init(ClaspConfig &cfg, bool discardProblem) | Clasp::ClaspFacade | [private] |
| initBuilder(ProgramBuilder *in, bool incremental) | Clasp::ClaspFacade | [private] |
| lpStats_ | Clasp::ClaspFacade | [private] |
| LpStatsPtr typedef | Clasp::ClaspFacade | [private] |
| ok() const | Clasp::ClaspFacade | [inline] |
| onEvent(const Event &) | Clasp::EventHandler | [inline, virtual] |
| onModel(const Solver &s, const Model &m) | Clasp::ClaspFacade | [private, virtual] |
| prepare(EnumMode m=enum_volatile) | Clasp::ClaspFacade | |
| program() const | Clasp::ClaspFacade | [inline] |
| result() const | Clasp::ClaspFacade | [inline] |
| setVerbosity(Event::Subsystem sys, Event::Verbosity verb) | Clasp::EventHandler | [inline] |
| shutdown() | Clasp::ClaspFacade | |
| solve(Clasp::EventHandler *onModel=0) | Clasp::ClaspFacade | |
| solve_ | Clasp::ClaspFacade | [private] |
| SolvePtr typedef | Clasp::ClaspFacade | [private] |
| solving() const | Clasp::ClaspFacade | |
| start(ClaspConfig &config, ProblemType t, bool allowUpdate=false) | Clasp::ClaspFacade | |
| startAsp(ClaspConfig &config, bool allowUpdate=false) | Clasp::ClaspFacade | |
| startPB(ClaspConfig &config, bool allowUpdate=false) | Clasp::ClaspFacade | |
| startSat(ClaspConfig &config, bool allowUpdate=false) | Clasp::ClaspFacade | |
| startStep(uint32 num) | Clasp::ClaspFacade | [private] |
| step() const | Clasp::ClaspFacade | [inline] |
| step_ | Clasp::ClaspFacade | [private] |
| stopStep(int signal, bool complete) | Clasp::ClaspFacade | [private] |
| summary() const | Clasp::ClaspFacade | [inline] |
| SummaryPtr typedef | Clasp::ClaspFacade | [private] |
| terminate(int signal) | Clasp::ClaspFacade | |
| update(bool updateConfig=false) | Clasp::ClaspFacade | |
| ~ClaspFacade() | Clasp::ClaspFacade | |
| ~EventHandler() | Clasp::EventHandler | [virtual] |