, including all inherited members.
| accuStats() const | Clasp::SharedDependencyGraph | |
| addBody(const LogicProgram &prg, PrgBody *) | Clasp::SharedDependencyGraph | [private] |
| addDisj(const LogicProgram &prg, PrgDisj *) | Clasp::SharedDependencyGraph | [private] |
| addHeads(const LogicProgram &prg, PrgBody *, VarVec &atoms) const | Clasp::SharedDependencyGraph | [private] |
| addNonHcf(SharedContext &ctx, uint32 scc) | Clasp::SharedDependencyGraph | [private] |
| addPreds(const LogicProgram &prg, PrgBody *, uint32 bScc, VarVec &preds) const | Clasp::SharedDependencyGraph | [private] |
| addSccs(LogicProgram &prg, const AtomList &sccAtoms, const NonHcfSet &nonHcfs) | Clasp::SharedDependencyGraph | |
| AtomList typedef | Clasp::SharedDependencyGraph | |
| atoms_ | Clasp::SharedDependencyGraph | [private] |
| AtomVec typedef | Clasp::SharedDependencyGraph | [private] |
| bodies_ | Clasp::SharedDependencyGraph | [private] |
| BodyVec typedef | Clasp::SharedDependencyGraph | [private] |
| ComponentMap typedef | Clasp::SharedDependencyGraph | [private] |
| ComponentPair typedef | Clasp::SharedDependencyGraph | |
| components_ | Clasp::SharedDependencyGraph | [private] |
| config_ | Clasp::SharedDependencyGraph | [private] |
| createAtom(Literal lit, uint32 aScc) | Clasp::SharedDependencyGraph | [private] |
| createBody(PrgBody *b, uint32 bScc) | Clasp::SharedDependencyGraph | [private] |
| getAtom(NodeId atomId) const | Clasp::SharedDependencyGraph | [inline] |
| getAtoms(const LogicProgram &prg, PrgDisj *, VarVec &atoms) const | Clasp::SharedDependencyGraph | [private] |
| getBody(NodeId bodyId) const | Clasp::SharedDependencyGraph | [inline] |
| id(const AtomNode &n) const | Clasp::SharedDependencyGraph | [inline] |
| initAtom(uint32 id, uint32 prop, const VarVec &adj, uint32 preds) | Clasp::SharedDependencyGraph | [private] |
| initBody(uint32 id, const VarVec &preds, const VarVec &atHeads) | Clasp::SharedDependencyGraph | [private] |
| LogicProgram typedef | Clasp::SharedDependencyGraph | |
| NodeId typedef | Clasp::SharedDependencyGraph | |
| nodes() const | Clasp::SharedDependencyGraph | [inline] |
| nonHcfBegin() const | Clasp::SharedDependencyGraph | [inline] |
| nonHcfConfig() const | Clasp::SharedDependencyGraph | [inline] |
| nonHcfEnd() const | Clasp::SharedDependencyGraph | [inline] |
| NonHcfIter typedef | Clasp::SharedDependencyGraph | |
| NonHcfSet typedef | Clasp::SharedDependencyGraph | |
| numAtoms() const | Clasp::SharedDependencyGraph | [inline] |
| numBodies() const | Clasp::SharedDependencyGraph | [inline] |
| numNonHcfs() const | Clasp::SharedDependencyGraph | [inline] |
| operator=(const SharedDependencyGraph &) | Clasp::SharedDependencyGraph | [private] |
| PrgAtom typedef | Clasp::SharedDependencyGraph | |
| PrgBody typedef | Clasp::SharedDependencyGraph | |
| PrgDisj typedef | Clasp::SharedDependencyGraph | |
| PrgNode typedef | Clasp::SharedDependencyGraph | |
| relevantPrgAtom(const Solver &s, PrgAtom *a) const | Clasp::SharedDependencyGraph | [inline, private] |
| relevantPrgBody(const Solver &s, PrgBody *b) const | Clasp::SharedDependencyGraph | [inline, private] |
| sentinel_atom enum value | Clasp::SharedDependencyGraph | |
| SharedDependencyGraph(Configuration *nonHcfCfg=0) | Clasp::SharedDependencyGraph | |
| SharedDependencyGraph(const SharedDependencyGraph &) | Clasp::SharedDependencyGraph | [private] |
| visitBodyLiterals(const BodyNode &n, const P &p) | Clasp::SharedDependencyGraph | [inline] |
| ~SharedDependencyGraph() | Clasp::SharedDependencyGraph | |