_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 |