ClearBlue
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 ()
 @iterating_object_class SymbolicExprGraph *
 
value_iterator< std::unordered_map< const Function *, SymbolicExprGraph * >::iterator > end ()
 @iterating_object_class SymbolicExprGraph *
 

Protected Attributes

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

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