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

VampireKernel::Clause::BackgroundFlagIterator Class Reference

#include <q.hpp>

List of all members.

Public Member Functions

 BackgroundFlagIterator ()
 ~BackgroundFlagIterator ()
bool getCurrentFlag (BackgroundFlag &flag) const
void goToNextFlag ()

Private Attributes

void * _base
unsigned long _offset

Friends

class Clause


Constructor & Destructor Documentation

VampireKernel::Clause::BackgroundFlagIterator::BackgroundFlagIterator  ) 
 

VampireKernel::Clause::BackgroundFlagIterator::~BackgroundFlagIterator  ) 
 


Member Function Documentation

bool VampireKernel::Clause::BackgroundFlagIterator::getCurrentFlag BackgroundFlag flag  )  const
 

void VampireKernel::Clause::BackgroundFlagIterator::goToNextFlag  ) 
 


Friends And Related Function Documentation

friend class Clause [friend]
 


Member Data Documentation

void* VampireKernel::Clause::BackgroundFlagIterator::_base [private]
 

unsigned long VampireKernel::Clause::BackgroundFlagIterator::_offset [private]
 


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