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:
q.hpp
Generated on Sat Jun 28 15:09:00 2003 for Vampire by
1.3.2