CVC3
Classes | Public Member Functions | Private Member Functions | Private Attributes | Friends | List of all members
CVC3::Assumptions::iterator Class Reference

Iterator for the Assumptions: points to class Theorem. More...

#include <assumptions.h>

Inherits iterator< std::input_iterator_tag, Theorem, ptrdiff_t >.

Collaboration diagram for CVC3::Assumptions::iterator:
Collaboration graph

Classes

class  Proxy
 Proxy class for postfix increment. More...
 

Public Member Functions

 iterator ()
 Default constructor.
 
 ~iterator ()
 Destructor.
 
bool operator== (const iterator &i) const
 Equality.
 
bool operator!= (const iterator &i) const
 Disequality.
 
const Theoremoperator* () const
 Dereference operator.
 
const Theoremoperator-> () const
 Member dereference operator.
 
iteratoroperator++ ()
 Prefix increment.
 
Proxy operator++ (int)
 Postfix increment.
 

Private Member Functions

 iterator (const std::vector< Theorem >::const_iterator &i)
 

Private Attributes

std::vector< Theorem >
::const_iterator 
d_it
 

Friends

class Assumptions
 

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

Definition at line 124 of file assumptions.h.

CVC3::Assumptions::iterator::iterator ( )
inline

Default constructor.

Definition at line 127 of file assumptions.h.

CVC3::Assumptions::iterator::~iterator ( )
inline

Destructor.

Definition at line 129 of file assumptions.h.

Member Function Documentation

bool CVC3::Assumptions::iterator::operator== ( const iterator i) const
inline

Equality.

Definition at line 131 of file assumptions.h.

References d_it.

bool CVC3::Assumptions::iterator::operator!= ( const iterator i) const
inline

Disequality.

Definition at line 133 of file assumptions.h.

References d_it.

const Theorem& CVC3::Assumptions::iterator::operator* ( ) const
inline

Dereference operator.

Definition at line 135 of file assumptions.h.

References d_it.

Referenced by operator->().

const Theorem* CVC3::Assumptions::iterator::operator-> ( ) const
inline

Member dereference operator.

Definition at line 137 of file assumptions.h.

References operator*().

iterator& CVC3::Assumptions::iterator::operator++ ( )
inline

Prefix increment.

Definition at line 139 of file assumptions.h.

References d_it.

Proxy CVC3::Assumptions::iterator::operator++ ( int  )
inline

Postfix increment.

Definition at line 148 of file assumptions.h.

References d_it.

Friends And Related Function Documentation

friend class Assumptions
friend

Definition at line 120 of file assumptions.h.

Member Data Documentation

std::vector<Theorem>::const_iterator CVC3::Assumptions::iterator::d_it
private

Definition at line 122 of file assumptions.h.

Referenced by operator!=(), operator*(), operator++(), and operator==().


The documentation for this class was generated from the following file: