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

#include <KModule.h>

Collaboration diagram for klee::KConstant:

Public Member Functions

 KConstant (llvm::Constant *, unsigned, KInstruction *)

Public Attributes

llvm::Constant * ct
 Actual LLVM constant this represents. More...
unsigned id
 The constant ID. More...

Detailed Description

Definition at line 69 of file KModule.h.

Constructor & Destructor Documentation

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

Definition at line 535 of file KModule.cpp.

References ct, and ki.

Member Data Documentation

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

Actual LLVM constant this represents.

Definition at line 72 of file KModule.h.

Referenced by KConstant().

unsigned klee::KConstant::id

The constant ID.

Definition at line 75 of file KModule.h.

Referenced by klee::KModule::getConstantID().

KInstruction* klee::KConstant::ki

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

Definition at line 79 of file KModule.h.

Referenced by KConstant().

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