klee
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...
 
KInstructionki
 

Detailed Description

Definition at line 67 of file KModule.h.

Constructor & Destructor Documentation

◆ KConstant()

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

Definition at line 398 of file KModule.cpp.

References ct, and ki.

Member Data Documentation

◆ ct

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

Actual LLVM constant this represents.

Definition at line 70 of file KModule.h.

Referenced by KConstant().

◆ id

unsigned klee::KConstant::id

The constant ID.

Definition at line 73 of file KModule.h.

◆ ki

KInstruction* klee::KConstant::ki

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

Definition at line 77 of file KModule.h.

Referenced by klee::Executor::evalConstant(), and KConstant().


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