Main Page
|
Namespace List
|
Class Hierarchy
|
Compound List
|
File List
|
Compound Members
|
File Members
|
Related Pages
VampireKernel::Clause::Ancestor Class Reference
#include <
q.hpp
>
List of all members.
Public Member Functions
const
Clause
*
clause
() const
const
Ancestor
*
next
() const
Private Member Functions
Ancestor
()
~Ancestor
()
Friends
class
Clause
Constructor & Destructor Documentation
VampireKernel::Clause::Ancestor::Ancestor
(
)
[inline, private]
VampireKernel::Clause::Ancestor::~
Ancestor
(
)
[inline, private]
Member Function Documentation
const
Clause
* VampireKernel::Clause::Ancestor::clause
(
)
const
const
Ancestor
* VampireKernel::Clause::Ancestor::next
(
)
const
Friends And Related Function Documentation
friend class
Clause
[friend]
The documentation for this class was generated from the following file:
q.hpp
Generated on Sat Jun 28 15:09:00 2003 for Vampire by
1.3.2