CVC3::Assumptions::iterator Class Reference

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

#include <assumptions.h>

Inheritance diagram for CVC3::Assumptions::iterator:

Inheritance graph
[legend]
List of all members.

Public Member Functions

Private Member Functions

Private Attributes

Friends

Classes


Detailed Description

Iterator for the Assumptions: points to class Theorem.

Cannot inherit from vector<Theorem>::const_iterator in gcc 2.96

Definition at line 116 of file assumptions.h.


Constructor & Destructor Documentation

CVC3::Assumptions::iterator::iterator ( const std::vector< Theorem >::const_iterator &  i  )  [inline, private]

Definition at line 122 of file assumptions.h.

CVC3::Assumptions::iterator::iterator (  )  [inline]

Default constructor.

Definition at line 125 of file assumptions.h.

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

Destructor.

Definition at line 127 of file assumptions.h.


Member Function Documentation

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

Equality.

Definition at line 129 of file assumptions.h.

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

Disequality.

Definition at line 131 of file assumptions.h.

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

Dereference operator.

Definition at line 133 of file assumptions.h.

Referenced by CVC3::Assumptions::iterator< std::input_iterator_tag, CVC3::Theorem, ptrdiff_t >::operator->().

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

Member dereference operator.

Definition at line 135 of file assumptions.h.

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

Prefix increment.

Definition at line 137 of file assumptions.h.

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

Postfix increment.

Definition at line 146 of file assumptions.h.


Friends And Related Function Documentation

friend class Assumptions [friend]

Definition at line 118 of file assumptions.h.


Member Data Documentation

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

Definition at line 120 of file assumptions.h.

Referenced by CVC3::Assumptions::iterator< std::input_iterator_tag, CVC3::Theorem, ptrdiff_t >::operator *(), CVC3::Assumptions::iterator< std::input_iterator_tag, CVC3::Theorem, ptrdiff_t >::operator!=(), CVC3::Assumptions::iterator< std::input_iterator_tag, CVC3::Theorem, ptrdiff_t >::operator++(), and CVC3::Assumptions::iterator< std::input_iterator_tag, CVC3::Theorem, ptrdiff_t >::operator==().


The documentation for this class was generated from the following file:
Generated on Tue Jul 3 14:35:34 2007 for CVC3 by  doxygen 1.5.1