CVCL::Assumptions::iterator Class Reference

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

#include <assumptions.h>

List of all members.

Public Member Functions

Private Member Functions

Private Attributes



Detailed Description

Iterator for the Assumptions: points to class Theorem.

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

Definition at line 126 of file assumptions.h.

Constructor & Destructor Documentation

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

Definition at line 132 of file assumptions.h.

CVCL::Assumptions::iterator::iterator  )  [inline]

Default constructor.

Definition at line 135 of file assumptions.h.

CVCL::Assumptions::iterator::~iterator  )  [inline]


Definition at line 137 of file assumptions.h.

Member Function Documentation

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


Definition at line 139 of file assumptions.h.

References d_it.

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


Definition at line 141 of file assumptions.h.

References d_it.

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

Dereference operator.

Definition at line 143 of file assumptions.h.

References d_it.

Referenced by operator->().

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

Member dereference operator.

Definition at line 145 of file assumptions.h.

References operator *().

Assumptions::iterator & Assumptions::iterator::operator++  ) 

Prefix increment.

Definition at line 292 of file assumptions.cpp.

References d_it.

Assumptions::iterator::Proxy Assumptions::iterator::operator++ int   ) 

Postfix increment.

Definition at line 296 of file assumptions.cpp.

References d_it.

Friends And Related Function Documentation

friend class Assumptions [friend]

Definition at line 128 of file assumptions.h.

Member Data Documentation

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

Definition at line 130 of file assumptions.h.

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

The documentation for this class was generated from the following files:
Generated on Thu Apr 13 16:57:42 2006 for CVC Lite by  doxygen 1.4.4