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