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 Clauseclause () const
const Ancestornext () 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:
Generated on Sat Jun 28 15:09:00 2003 for Vampire by doxygen 1.3.2