klee::KInstIterator Class Reference

#include <KInstIterator.h>

Collaboration diagram for klee::KInstIterator:

Public Member Functions
	KInstIterator ()
	KInstIterator (KInstruction **_it)
bool	operator== (const KInstIterator &b) const
bool	operator!= (const KInstIterator &b) const
KInstIterator &	operator++ ()
	operator KInstruction * () const
	operator bool () const
KInstruction *	operator-> () const

Private Attributes
KInstruction **	it

Detailed Description

Definition at line 16 of file KInstIterator.h.

Constructor & Destructor Documentation

KInstIterator() [1/2]

klee::KInstIterator::KInstIterator ( )

inline

Definition at line 20 of file KInstIterator.h.

KInstIterator() [2/2]

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

inline

Definition at line 21 of file KInstIterator.h.

Member Function Documentation

operator bool()

klee::KInstIterator::operator bool ( ) const

inline

Definition at line 36 of file KInstIterator.h.

References it.

operator KInstruction *()

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

inline

Definition at line 35 of file KInstIterator.h.

References it.

operator!=()

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

inline

Definition at line 26 of file KInstIterator.h.

operator++()

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

inline

Definition at line 30 of file KInstIterator.h.

References it.

operator->()

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

inline

Definition at line 38 of file KInstIterator.h.

References it.

operator==()

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

inline

Definition at line 23 of file KInstIterator.h.

References it.

Member Data Documentation

it

KInstruction** klee::KInstIterator::it

private

Definition at line 17 of file KInstIterator.h.

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

---

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

• /Users/cristic/klee/include/klee/Module/KInstIterator.h