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