| accu(const LpStats &o) | Clasp::Asp::LpStats | |
| atoms | Clasp::Asp::LpStats | |
| auxAtoms | Clasp::Asp::LpStats | |
| bodies | Clasp::Asp::LpStats | |
| eqs() const | Clasp::Asp::LpStats | [inline] |
| eqs(VarType t) const | Clasp::Asp::LpStats | [inline] |
| eqs_ | Clasp::Asp::LpStats | [private] |
| gammas | Clasp::Asp::LpStats | |
| incEqs(VarType t) | Clasp::Asp::LpStats | [inline] |
| keys(const char *path) | Clasp::Asp::LpStats | [static] |
| LpStats() | Clasp::Asp::LpStats | [inline] |
| nonHcfs | Clasp::Asp::LpStats | |
| operator[](const char *key) const | Clasp::Asp::LpStats | |
| reset() | Clasp::Asp::LpStats | |
| RPair typedef | Clasp::Asp::LpStats | |
| rules() const | Clasp::Asp::LpStats | |
| rules(RuleType t) const | Clasp::Asp::LpStats | [inline] |
| rules(RuleType t) | Clasp::Asp::LpStats | [inline] |
| rules_ | Clasp::Asp::LpStats | [private] |
| sccs | Clasp::Asp::LpStats | |
| tr() const | Clasp::Asp::LpStats | [inline] |
| trRule(RuleType t, uint32 i) | Clasp::Asp::LpStats | [inline] |
| ufsNodes | Clasp::Asp::LpStats | |
| upRule(RuleType t, int32 i) | Clasp::Asp::LpStats | [inline] |