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

Signature::Fun Member List

This is the complete list of members for Signature::Fun, including all inherited members.
_aritySignature::Symbol [protected]
_kernelNumberSignature::Symbol [protected]
_nameSignature::Symbol [protected]
_numberSignature::Symbol [protected]
arity() constSignature::Symbol [inline]
arity(int ar)Signature::Symbol [inline]
compare(const Fun *) constSignature::Fun
Fun(const char *name, int arity, int &count)Signature::Fun [inline]
kernelNumber(unsigned long n)Signature::Symbol [inline]
kernelNumber() constSignature::Symbol [inline]
name() constSignature::Symbol [inline]
number() constSignature::Symbol [inline]
Symbol(const char *name, int arity, int &number)Signature::Symbol [inline, protected]

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