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

Signature::Fun Class Reference

#include <Signature.hpp>

Inheritance diagram for Signature::Fun:

Signature::Symbol List of all members.

Public Member Functions

 Fun (const char *name, int arity, int &count)
Compare compare (const Fun *) const

Constructor & Destructor Documentation

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


Member Function Documentation

Compare Signature::Fun::compare const Fun  )  const
 


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