CVC3  2.4.1
Classes | Public Member Functions | Private Member Functions | Private Attributes | Friends
CVC3::Assumptions::iterator Class Reference

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

#include <assumptions.h>

List of all members.

Classes

Public Member Functions

Private Member Functions

Private Attributes

Friends


Detailed Description

Iterator for the Assumptions: points to class Theorem.

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


Constructor & Destructor Documentation

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

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

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: