| _funs | SymCounter | [private] |
| _noOfFuns | SymCounter | [private] |
| _noOfPreds | SymCounter | [private] |
| _preds | SymCounter | [private] |
| count(Problem &, int) | SymCounter | |
| count(Unit, int) | SymCounter | |
| count(Clause, int) | SymCounter | |
| count(Formula, int polarity, int add) | SymCounter | |
| count(Literal, int) | SymCounter | |
| count(Atom a, int polarity, int add) | SymCounter | |
| count(Term t, int add) | SymCounter | |
| get(const Signature::Pred *p) | SymCounter | [inline] |
| get(const Signature::Fun *f) | SymCounter | [inline] |
| norm | SymCounter | [static] |
| output(ostream &str) const | SymCounter | |
| SymCounter(Signature &) | SymCounter | [explicit] |
| ~SymCounter() | SymCounter |
1.3.2