klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
klee::SpecialFunctionHandler::const_iterator Class Reference

#include <SpecialFunctionHandler.h>

Inherits iterator< std::random_access_iterator_tag, HandlerInfo >.

Public Member Functions

 const_iterator (value_type *hi)
 
const_iteratoroperator++ ()
 
const_iterator operator++ (int)
 
const value_type & operator* ()
 
const value_type * operator-> ()
 
const value_type & operator[] (int i)
 
bool operator== (const_iterator &rhs)
 
bool operator!= (const_iterator &rhs)
 

Private Attributes

value_type * base
 
int index
 

Detailed Description

Definition at line 51 of file SpecialFunctionHandler.h.

Constructor & Destructor Documentation

klee::SpecialFunctionHandler::const_iterator::const_iterator ( value_type *  hi)
inline

Definition at line 57 of file SpecialFunctionHandler.h.

Member Function Documentation

bool klee::SpecialFunctionHandler::const_iterator::operator!= ( const_iterator rhs)
inline

Definition at line 64 of file SpecialFunctionHandler.h.

const value_type& klee::SpecialFunctionHandler::const_iterator::operator* ( )
inline

Definition at line 60 of file SpecialFunctionHandler.h.

References base, and index.

SpecialFunctionHandler::const_iterator & SpecialFunctionHandler::const_iterator::operator++ ( )

Definition at line 124 of file SpecialFunctionHandler.cpp.

const_iterator klee::SpecialFunctionHandler::const_iterator::operator++ ( int  )
const value_type* klee::SpecialFunctionHandler::const_iterator::operator-> ( )
inline

Definition at line 61 of file SpecialFunctionHandler.h.

References base, and index.

bool klee::SpecialFunctionHandler::const_iterator::operator== ( const_iterator rhs)
inline

Definition at line 63 of file SpecialFunctionHandler.h.

References base, and index.

const value_type& klee::SpecialFunctionHandler::const_iterator::operator[] ( int  i)
inline

Definition at line 62 of file SpecialFunctionHandler.h.

References base.

Member Data Documentation

value_type* klee::SpecialFunctionHandler::const_iterator::base
private

Definition at line 54 of file SpecialFunctionHandler.h.

Referenced by operator*(), operator->(), operator==(), and operator[]().

int klee::SpecialFunctionHandler::const_iterator::index
private

Definition at line 55 of file SpecialFunctionHandler.h.

Referenced by operator*(), operator->(), and operator==().


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