Iterator for the Assumptions: points to class Theorem.
More...
#include <assumptions.h>
Private Member Functions |
| iterator (const std::vector< Theorem >::const_iterator &i) |
Private Attributes |
std::vector< Theorem >
::const_iterator | d_it |
Detailed Description
Iterator for the Assumptions: points to class Theorem.
Cannot inherit from vector<Theorem>::const_iterator in gcc 2.96
Definition at line 118 of file assumptions.h.
Constructor & Destructor Documentation
CVC3::Assumptions::iterator::iterator |
( |
const std::vector< Theorem >::const_iterator & |
i | ) |
|
|
inlineprivate |
CVC3::Assumptions::iterator::iterator |
( |
| ) |
|
|
inline |
CVC3::Assumptions::iterator::~iterator |
( |
| ) |
|
|
inline |
Member Function Documentation
bool CVC3::Assumptions::iterator::operator== |
( |
const iterator & |
i | ) |
const |
|
inline |
bool CVC3::Assumptions::iterator::operator!= |
( |
const iterator & |
i | ) |
const |
|
inline |
const Theorem& CVC3::Assumptions::iterator::operator* |
( |
| ) |
const |
|
inline |
const Theorem* CVC3::Assumptions::iterator::operator-> |
( |
| ) |
const |
|
inline |
iterator& CVC3::Assumptions::iterator::operator++ |
( |
| ) |
|
|
inline |
Proxy CVC3::Assumptions::iterator::operator++ |
( |
int |
| ) |
|
|
inline |
Friends And Related Function Documentation
Member Data Documentation
std::vector<Theorem>::const_iterator CVC3::Assumptions::iterator::d_it |
|
private |
The documentation for this class was generated from the following file: