Main Page | Namespace List | Class Hierarchy | Compound List | File List | Compound Members | File Members | Related Pages

SymCounter Member List

This is the complete list of members for SymCounter, including all inherited members.
_funsSymCounter [private]
_noOfFunsSymCounter [private]
_noOfPredsSymCounter [private]
_predsSymCounter [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]
normSymCounter [static]
output(ostream &str) constSymCounter
SymCounter(Signature &)SymCounter [explicit]
~SymCounter()SymCounter

Generated on Sat Jun 28 15:08:59 2003 for Vampire by doxygen 1.3.2