This is the complete list of members for
Clasp::Asp::SccChecker, including all inherited members.
| addCall(PrgNode *n, NodeType t, uint32 next, uint32 min=0) | Clasp::Asp::SccChecker | [inline, private] |
| CallStack typedef | Clasp::Asp::SccChecker | [private] |
| callStack_ | Clasp::Asp::SccChecker | [private] |
| count_ | Clasp::Asp::SccChecker | [private] |
| doVisit(PrgNode *n, bool seen=true) const | Clasp::Asp::SccChecker | [inline, private] |
| isNode(uintp n, NodeType t) | Clasp::Asp::SccChecker | [inline, private, static] |
| NodeStack typedef | Clasp::Asp::SccChecker | [private] |
| nodeStack_ | Clasp::Asp::SccChecker | [private] |
| onNode(PrgNode *n, NodeType t, Call &c, uint32 data) | Clasp::Asp::SccChecker | [private] |
| packNode(PrgNode *n, NodeType t) | Clasp::Asp::SccChecker | [inline, private, static] |
| prg_ | Clasp::Asp::SccChecker | [private] |
| recurse(Call &c) | Clasp::Asp::SccChecker | [private] |
| sccAtoms_ | Clasp::Asp::SccChecker | [private] |
| SccChecker(LogicProgram &prg, AtomList &sccAtoms, uint32 startScc) | Clasp::Asp::SccChecker | |
| sccs() const | Clasp::Asp::SccChecker | [inline] |
| sccs_ | Clasp::Asp::SccChecker | [private] |
| unpackNode(uintp n) | Clasp::Asp::SccChecker | [inline, private, static] |
| visit(PrgBody *body) | Clasp::Asp::SccChecker | [inline] |
| visit(PrgAtom *atom) | Clasp::Asp::SccChecker | [inline] |
| visit(PrgDisj *disj) | Clasp::Asp::SccChecker | [inline] |
| visitDfs(PrgNode *n, NodeType t) | Clasp::Asp::SccChecker | [private] |