ClearBlue
|
Public Member Functions | |
SymbolicExprGraph * | getSymbolicExprGraph (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 |