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

Signature::Symbol Class Reference

#include <Signature.hpp>

Inheritance diagram for Signature::Symbol:

Signature::Fun Signature::Pred List of all members.

Public Member Functions

int arity () const
const char * name () const
const int number () const
void arity (int ar)
void kernelNumber (unsigned long n)
unsigned long kernelNumber () const

Protected Member Functions

 Symbol (const char *name, int arity, int &number)

Protected Attributes

const char * _name
int _arity
int _number
unsigned long _kernelNumber

Constructor & Destructor Documentation

Signature::Symbol::Symbol const char *  name,
int  arity,
int &  number
[inline, protected]
 


Member Function Documentation

void Signature::Symbol::arity int  ar  )  [inline]
 

int Signature::Symbol::arity  )  const [inline]
 

unsigned long Signature::Symbol::kernelNumber  )  const [inline]
 

void Signature::Symbol::kernelNumber unsigned long  n  )  [inline]
 

const char* Signature::Symbol::name  )  const [inline]
 

const int Signature::Symbol::number  )  const [inline]
 


Member Data Documentation

int Signature::Symbol::_arity [protected]
 

unsigned long Signature::Symbol::_kernelNumber [protected]
 

const char* Signature::Symbol::_name [protected]
 

int Signature::Symbol::_number [protected]
 


The documentation for this class was generated from the following file:
Generated on Sat Jun 28 15:08:59 2003 for Vampire by doxygen 1.3.2