klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
klee::InstructionInfo Struct Reference

#include <InstructionInfoTable.h>

Public Member Functions

 InstructionInfo (unsigned _id, const std::string &_file, unsigned _line, unsigned _assemblyLine)
 

Public Attributes

unsigned id
 
const std::string & file
 
unsigned line
 
unsigned assemblyLine
 

Detailed Description

Definition at line 26 of file InstructionInfoTable.h.

Constructor & Destructor Documentation

klee::InstructionInfo::InstructionInfo ( unsigned  _id,
const std::string &  _file,
unsigned  _line,
unsigned  _assemblyLine 
)
inline

Definition at line 33 of file InstructionInfoTable.h.

Member Data Documentation

unsigned klee::InstructionInfo::assemblyLine

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