klee::KConstant Class Reference

#include <KModule.h>

Collaboration diagram for klee::KConstant:

[legend]

List of all members.

Public Member Functions
	KConstant (llvm::Constant *, unsigned, KInstruction *)
Public Attributes
llvm::Constant *	ct
	Actual LLVM constant this represents.
unsigned	id
	The constant ID.
KInstruction *	ki

---

Detailed Description

Definition at line 64 of file KModule.h.

---

Constructor & Destructor Documentation

KConstant::KConstant	(	llvm::Constant *	_ct,
		unsigned	_id,
		KInstruction *	_ki
	)

Definition at line 428 of file KModule.cpp.

References ct.

---

Member Data Documentation

llvm::Constant* klee::KConstant::ct

Actual LLVM constant this represents.

Definition at line 67 of file KModule.h.

Referenced by KConstant().

unsigned klee::KConstant::id

The constant ID.

Definition at line 70 of file KModule.h.

KInstruction* klee::KConstant::ki

First instruction where this constant was encountered, or NULL if not applicable/unavailable.

Definition at line 74 of file KModule.h.

---

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

• include/klee/Internal/Module/KModule.h
• lib/Module/KModule.cpp