CVC3::Assumptions::iterator Class Reference

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

#include <assumptions.h>

Inheritance diagram for CVC3::Assumptions::iterator:

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

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:

• assumptions.h