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

#include <KInstIterator.h>

Collaboration diagram for klee::KInstIterator:

Public Member Functions

 KInstIterator ()
 
 KInstIterator (KInstruction **_it)
 
 KInstIterator (const KInstIterator &b)
 
 ~KInstIterator ()
 
KInstIteratoroperator= (const KInstIterator &b)
 
bool operator== (const KInstIterator &b) const
 
bool operator!= (const KInstIterator &b) const
 
KInstIteratoroperator++ ()
 
 operator KInstruction * () const
 
 operator bool () const
 
KInstructionoperator-> () const
 

Private Attributes

KInstruction ** it
 

Detailed Description

Definition at line 16 of file KInstIterator.h.

Constructor & Destructor Documentation

klee::KInstIterator::KInstIterator ( )
inline

Definition at line 20 of file KInstIterator.h.

klee::KInstIterator::KInstIterator ( KInstruction **  _it)
inline

Definition at line 21 of file KInstIterator.h.

klee::KInstIterator::KInstIterator ( const KInstIterator b)
inline

Definition at line 22 of file KInstIterator.h.

klee::KInstIterator::~KInstIterator ( )
inline

Definition at line 23 of file KInstIterator.h.

Member Function Documentation

klee::KInstIterator::operator bool ( ) const
inline

Definition at line 43 of file KInstIterator.h.

References it.

klee::KInstIterator::operator KInstruction * ( ) const
inline

Definition at line 42 of file KInstIterator.h.

References it.

bool klee::KInstIterator::operator!= ( const KInstIterator b) const
inline

Definition at line 33 of file KInstIterator.h.

KInstIterator& klee::KInstIterator::operator++ ( )
inline

Definition at line 37 of file KInstIterator.h.

References it.

KInstruction* klee::KInstIterator::operator-> ( ) const
inline

Definition at line 45 of file KInstIterator.h.

References it.

KInstIterator& klee::KInstIterator::operator= ( const KInstIterator b)
inline

Definition at line 25 of file KInstIterator.h.

References it.

bool klee::KInstIterator::operator== ( const KInstIterator b) const
inline

Definition at line 30 of file KInstIterator.h.

References it.

Member Data Documentation

KInstruction** klee::KInstIterator::it
private

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