, including all inherited members.
| accu_ | Clasp::SharedContext | [private] |
| accuStats() | Clasp::SharedContext | |
| add(Constraint *c) | Clasp::SharedContext | |
| addAuxLit() | Clasp::SharedContext | [private] |
| addBinary(Literal x, Literal y) | Clasp::SharedContext | |
| addImp(ImpGraph::ImpType t, const Literal *lits, ConstraintType ct) | Clasp::SharedContext | |
| addSolver() | Clasp::SharedContext | |
| addTernary(Literal x, Literal y, Literal z) | Clasp::SharedContext | |
| addUnary(Literal x) | Clasp::SharedContext | |
| addVar(VarType t, bool eq=false) | Clasp::SharedContext | |
| allowImplicit(ConstraintType t) const | Clasp::SharedContext | [inline] |
| attach(uint32 id) | Clasp::SharedContext | [inline] |
| attach(Solver &s) | Clasp::SharedContext | |
| btig_ | Clasp::SharedContext | [private] |
| cloneVars(const SharedContext &other, InitMode m=init_copy_symbols) | Clasp::SharedContext | |
| concurrency() const | Clasp::SharedContext | [inline] |
| Config typedef | Clasp::SharedContext | [private] |
| config_ | Clasp::SharedContext | [private] |
| ConfigPtr typedef | Clasp::SharedContext | |
| configuration() const | Clasp::SharedContext | [inline] |
| detach(uint32 id, bool reset=false) | Clasp::SharedContext | [inline] |
| detach(Solver &s, bool reset=false) | Clasp::SharedContext | |
| distributor | Clasp::SharedContext | |
| DistrPtr typedef | Clasp::SharedContext | |
| eliminate(Var v) | Clasp::SharedContext | |
| eliminated(Var v) const | Clasp::SharedContext | |
| enableStats(uint32 level) | Clasp::SharedContext | |
| endInit(bool attachAll=false) | Clasp::SharedContext | |
| eventHandler() const | Clasp::SharedContext | [inline] |
| frozen() const | Clasp::SharedContext | [inline] |
| hasSolver(uint32 id) const | Clasp::SharedContext | [inline] |
| ImpGraph typedef | Clasp::SharedContext | |
| ImpGraphRef typedef | Clasp::SharedContext | |
| init() | Clasp::SharedContext | [private] |
| init_copy_symbols enum value | Clasp::SharedContext | |
| init_share_symbols enum value | Clasp::SharedContext | |
| InitMode enum name | Clasp::SharedContext | |
| initStats(Solver &s) const | Clasp::SharedContext | |
| isExtended() const | Clasp::SharedContext | [inline] |
| isShared() const | Clasp::SharedContext | [inline] |
| lastTopLevel_ | Clasp::SharedContext | [private] |
| LogPtr typedef | Clasp::SharedContext | |
| mark(Literal p) | Clasp::SharedContext | [inline] |
| marked(Literal p) const | Clasp::SharedContext | [inline] |
| master() const | Clasp::SharedContext | [inline] |
| numBinary() const | Clasp::SharedContext | [inline] |
| numConstraints() const | Clasp::SharedContext | |
| numEliminatedVars() const | Clasp::SharedContext | [inline] |
| numLearntShort() const | Clasp::SharedContext | [inline] |
| numTernary() const | Clasp::SharedContext | [inline] |
| numUnary() const | Clasp::SharedContext | [inline] |
| numVars() const | Clasp::SharedContext | [inline] |
| ok() const | Clasp::SharedContext | |
| operator=(const SharedContext &) | Clasp::SharedContext | [private] |
| physicalShare(ConstraintType t) const | Clasp::SharedContext | [inline] |
| physicalShareProblem() const | Clasp::SharedContext | [inline] |
| preserveModels() const | Clasp::SharedContext | [inline] |
| problem_ | Clasp::SharedContext | [private] |
| problemComplexity() const | Clasp::SharedContext | |
| progress_ | Clasp::SharedContext | [private] |
| removeConstraint(uint32 idx, bool detach) | Clasp::SharedContext | |
| report(const Event &ev) const | Clasp::SharedContext | [inline] |
| report(const Solver &s, const Model &m) const | Clasp::SharedContext | [inline] |
| requestData(Var v) | Clasp::SharedContext | |
| requestStepVar() | Clasp::SharedContext | |
| reset() | Clasp::SharedContext | |
| resizeVars(uint32 maxVar) | Clasp::SharedContext | [inline] |
| satPrepro | Clasp::SharedContext | |
| SatPrePtr typedef | Clasp::SharedContext | |
| SccGraph typedef | Clasp::SharedContext | |
| sccGraph | Clasp::SharedContext | |
| SDG typedef | Clasp::SharedContext | |
| seedSolvers() const | Clasp::SharedContext | [inline] |
| setConcurrency(uint32 numSolver) | Clasp::SharedContext | |
| setConfiguration(Configuration *c, bool own) | Clasp::SharedContext | |
| setEventHandler(EventHandler *r) | Clasp::SharedContext | [inline] |
| setFrozen(Var v, bool b) | Clasp::SharedContext | |
| setInDisj(Var v, bool b) | Clasp::SharedContext | [inline] |
| setNant(Var v, bool b) | Clasp::SharedContext | [inline] |
| setPreserveModels(bool b=true) | Clasp::SharedContext | [inline] |
| setProject(Var v, bool b) | Clasp::SharedContext | [inline] |
| setShareMode(ContextParams::ShareMode m) | Clasp::SharedContext | |
| setShortMode(ContextParams::ShortMode m) | Clasp::SharedContext | |
| setVarEq(Var v, bool b) | Clasp::SharedContext | [inline] |
| setWinner(uint32 sId) | Clasp::SharedContext | [inline] |
| share_ | Clasp::SharedContext | [private] |
| SharedContext() | Clasp::SharedContext | [explicit] |
| SharedContext(const SharedContext &) | Clasp::SharedContext | [private] |
| shortImplications() const | Clasp::SharedContext | [inline] |
| simplify(bool shuffle) | Clasp::SharedContext | |
| simplifyShort(const Solver &s, Literal p) | Clasp::SharedContext | |
| size_type typedef | Clasp::SharedContext | |
| solver(uint32 id) const | Clasp::SharedContext | [inline] |
| solvers_ | Clasp::SharedContext | [private] |
| SolverVec typedef | Clasp::SharedContext | |
| startAddConstraints(uint32 constraintGuess=100) | Clasp::SharedContext | |
| stats() const | Clasp::SharedContext | [inline] |
| stats(const Solver &s, bool accu) const | Clasp::SharedContext | |
| StatsRef typedef | Clasp::SharedContext | |
| StatsVec typedef | Clasp::SharedContext | [private] |
| step_ | Clasp::SharedContext | [private] |
| stepLiteral() const | Clasp::SharedContext | [inline] |
| SymbolsRef typedef | Clasp::SharedContext | |
| symbolTable() const | Clasp::SharedContext | [inline] |
| symTabPtr_ | Clasp::SharedContext | [private] |
| unfreeze() | Clasp::SharedContext | |
| unfreezeStep() | Clasp::SharedContext | [private] |
| unmark(Var v) | Clasp::SharedContext | [inline] |
| validVar(Var var) const | Clasp::SharedContext | [inline] |
| varInfo(Var v) const | Clasp::SharedContext | [inline] |
| varInfo_ | Clasp::SharedContext | [private] |
| VarVec typedef | Clasp::SharedContext | [private] |
| winner() const | Clasp::SharedContext | [inline] |
| ~SharedContext() | Clasp::SharedContext | |