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

Signature::Pred Class Reference

#include <Signature.hpp>

Inheritance diagram for Signature::Pred:

Signature::Symbol List of all members.

Public Member Functions

 Pred (const char *name, int arity, int &count)
bool isEquality () const
Compare compare (const Pred *) const

Constructor & Destructor Documentation

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


Member Function Documentation

Compare Signature::Pred::compare const Pred  )  const
 

bool Signature::Pred::isEquality  )  const [inline]
 


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