klee::InstructionInfoTable::InstructionInfoTable::ltstr Struct Reference

List of all members.

Public Member Functions

bool operator() (const std::string *a, const std::string *b) const


Detailed Description

Definition at line 45 of file InstructionInfoTable.h.


Member Function Documentation

bool klee::InstructionInfoTable::InstructionInfoTable::ltstr::operator() ( const std::string *  a,
const std::string *  b 
) const [inline]

Definition at line 46 of file InstructionInfoTable.h.


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

Generated on Fri Jun 5 03:33:13 2009 for klee by  doxygen 1.5.8