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 

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: