ClearBlue
 All Data Structures Functions Variables Typedefs Enumerations Enumerator Friends
Public Member Functions | Protected Attributes
SEGMapBase Class Reference
Inheritance diagram for SEGMapBase:
Inheritance graph
[legend]

Public Member Functions

SymbolicExprGraphgetSymbolicExprGraph (const Function *F) const
 
bool hasSEG (const Function *F) const
 
bool isFuncBuildable (const Function *F) const
 Check the function is suitable for SEGBuilder.
 
value_iterator
< std::unordered_map< const
Function *, SymbolicExprGraph * >
::iterator > 
begin ()
 SymbolicExprGraph *
 
value_iterator
< std::unordered_map< const
Function *, SymbolicExprGraph * >
::iterator > 
end ()
 SymbolicExprGraph *
 

Protected Attributes

std::unordered_map< const
Function *, SymbolicExprGraph * > 
SEGMap
 SEG vector of functions.
 
ExternalMemorySpec * MEM_SPEC = nullptr
 
CBCallGraphWrapper * CGWrapper = nullptr
 

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