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:
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:
Signature.hpp
Signature.cpp
Generated on Sat Jun 28 15:08:59 2003 for Vampire by
1.3.2