klee::KInstIterator Class Reference

#include <KInstIterator.h>

Collaboration diagram for klee::KInstIterator:

[legend]

List of all members.

Public Member Functions
	KInstIterator ()
	KInstIterator (KInstruction **_it)
	KInstIterator (const KInstIterator &b)
	~KInstIterator ()
KInstIterator &	operator= (const KInstIterator &b)
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

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]

Definition at line 17 of file KInstIterator.h.

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

---

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

• include/klee/Internal/Module/KInstIterator.h