| _answer | Signature | [private] |
| _equality | Signature | [private] |
| _fbuckets | Signature | [private] |
| _lastSkolem | Signature | [private] |
| _noOfFuns | Signature | [private] |
| _noOfPreds | Signature | [private] |
| _pbuckets | Signature | [private] |
| addArithmetic() | Signature | |
| arityCheck() const | Signature | |
| create(const char *str, int arity, List **buckets, bool isPred) | Signature | [private] |
| createAnswerAtom(TermList args, Atom &answer) | Signature | |
| createFun(const char *name, int arity) | Signature | [inline] |
| createPred(const char *name, int arity) | Signature | [inline] |
| equality() | Signature | [inline] |
| existsFun(const char *name) const | Signature | [private] |
| FunIterator class | Signature | [friend] |
| hash(const char *) | Signature | [private, static] |
| isAnswer(const Pred *p) const | Signature | [inline] |
| List typedef | Signature | |
| newSkolemFunction(int arity) | Signature | |
| noOfFuns() const | Signature | [inline] |
| noOfPreds() const | Signature | [inline] |
| PredIterator class | Signature | [friend] |
| Signature() | Signature | |
| SymCounter class | Signature | [friend] |
| ~Signature() | Signature |
1.3.2