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

Signature Class Reference

#include <Signature.hpp>

List of all members.

Public Types

typedef List< Symbol *, CID_PSYM_LIST > List

Public Member Functions

 Signature ()
 ~Signature ()
FuncreateFun (const char *name, int arity)
PredcreatePred (const char *name, int arity)
Predequality ()
int noOfPreds () const
int noOfFuns () const
bool arityCheck () const
FunnewSkolemFunction (int arity)
void createAnswerAtom (TermList args, Atom &answer)
void addArithmetic ()
bool isAnswer (const Pred *p) const

Private Member Functions

Symbolcreate (const char *str, int arity, List **buckets, bool isPred)
bool existsFun (const char *name) const

Static Private Member Functions

int hash (const char *)

Private Attributes

List_fbuckets [NO_OF_BUCKETS]
List_pbuckets [NO_OF_BUCKETS]
int _noOfPreds
int _noOfFuns
int _lastSkolem
Pred_answer
Pred_equality

Friends

class SymCounter
class FunIterator
class PredIterator


Member Typedef Documentation

typedef List<Symbol*,CID_PSYM_LIST> Signature::List
 


Constructor & Destructor Documentation

Signature::Signature  ) 
 

Signature::~Signature  ) 
 


Member Function Documentation

void Signature::addArithmetic  ) 
 

bool Signature::arityCheck  )  const
 

Signature::Symbol * Signature::create const char *  str,
int  arity,
List **  buckets,
bool  isPred
[private]
 

void Signature::createAnswerAtom TermList  args,
Atom answer
 

Fun* Signature::createFun const char *  name,
int  arity
[inline]
 

Pred* Signature::createPred const char *  name,
int  arity
[inline]
 

Pred* Signature::equality  )  [inline]
 

bool Signature::existsFun const char *  name  )  const [private]
 

int Signature::hash const char *   )  [static, private]
 

bool Signature::isAnswer const Pred p  )  const [inline]
 

Signature::Fun * Signature::newSkolemFunction int  arity  ) 
 

int Signature::noOfFuns  )  const [inline]
 

int Signature::noOfPreds  )  const [inline]
 


Friends And Related Function Documentation

friend class FunIterator [friend]
 

friend class PredIterator [friend]
 

friend class SymCounter [friend]
 


Member Data Documentation

Pred* Signature::_answer [private]
 

Pred* Signature::_equality [private]
 

List* Signature::_fbuckets[NO_OF_BUCKETS] [private]
 

int Signature::_lastSkolem [private]
 

int Signature::_noOfFuns [private]
 

int Signature::_noOfPreds [private]
 

List* Signature::_pbuckets[NO_OF_BUCKETS] [private]
 


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