klee
Public Member Functions | Private Attributes | List of all members
klee::SpecialFunctionHandler::const_iterator Class Reference

#include <SpecialFunctionHandler.h>

Inherits std::iterator< std::random_access_iterator_tag, HandlerInfo >.

Public Member Functions

 const_iterator (value_type *hi)
 
const_iterator & operator++ ()
 
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 53 of file SpecialFunctionHandler.h.

Constructor & Destructor Documentation

◆ const_iterator()

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

Definition at line 59 of file SpecialFunctionHandler.h.

Member Function Documentation

◆ operator!=()

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

Definition at line 66 of file SpecialFunctionHandler.h.

◆ operator*()

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

Definition at line 62 of file SpecialFunctionHandler.h.

References base, and index.

◆ operator++() [1/2]

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

Definition at line 162 of file SpecialFunctionHandler.cpp.

References base, index, and klee::SpecialFunctionHandler::size().

Here is the call graph for this function:

◆ operator++() [2/2]

const_iterator klee::SpecialFunctionHandler::const_iterator::operator++ ( int  )

◆ operator->()

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

Definition at line 63 of file SpecialFunctionHandler.h.

References base, and index.

◆ operator==()

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

Definition at line 65 of file SpecialFunctionHandler.h.

References base, and index.

◆ operator[]()

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

Definition at line 64 of file SpecialFunctionHandler.h.

References base.

Member Data Documentation

◆ base

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

Definition at line 56 of file SpecialFunctionHandler.h.

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

◆ index

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

Definition at line 57 of file SpecialFunctionHandler.h.

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

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