CVC3
2.4.1
|
Iterator for the Assumptions: points to class Theorem. More...
#include <assumptions.h>
Classes | |
class | Proxy |
Proxy class for postfix increment. More... | |
Public Member Functions | |
iterator () | |
Default constructor. More... | |
~iterator () | |
Destructor. More... | |
bool | operator== (const iterator &i) const |
Equality. More... | |
bool | operator!= (const iterator &i) const |
Disequality. More... | |
const Theorem & | operator* () const |
Dereference operator. More... | |
const Theorem * | operator-> () const |
Member dereference operator. More... | |
iterator & | operator++ () |
Prefix increment. More... | |
Proxy | operator++ (int) |
Postfix increment. More... | |
Private Member Functions | |
iterator (const std::vector< Theorem >::const_iterator &i) | |
Private Attributes | |
std::vector< Theorem > ::const_iterator | d_it |
Friends | |
class | Assumptions |
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.
|
inlineprivate |
Definition at line 124 of file assumptions.h.
|
inline |
Default constructor.
Definition at line 127 of file assumptions.h.
|
inline |
Destructor.
Definition at line 129 of file assumptions.h.
|
inline |
|
inline |
|
inline |
Dereference operator.
Definition at line 135 of file assumptions.h.
References d_it.
Referenced by operator->().
|
inline |
|
inline |
|
inline |
|
friend |
Definition at line 120 of file assumptions.h.
|
private |
Definition at line 122 of file assumptions.h.
Referenced by operator!=(), operator*(), operator++(), and operator==().