Class GlobalSuspensionAutomata¶

Defined in File GlobalSuspensionAutomata.h

Inheritance Relationships¶

Base Type¶

public systemc_clang::Utility (Class Utility)

Class Documentation¶

class systemc_clang::GlobalSuspensionAutomata : public systemc_clang::Utility ¶

Public Types

typedef pair<float, int> timePairType¶

typedef vector<Transition*> transitionVectorType¶

typedef pair<EntryFunctionContainer*, int> entryFunctionInstanceIdPairType¶

typedef map<EntryFunctionContainer*, int> entryFunctionInstanceIdMapType¶

typedef pair<entryFunctionInstanceIdPairType, transitionVectorType> instanceFunctionSautoPairType¶

typedef map<entryFunctionInstanceIdPairType, transitionVectorType> instanceFunctionSautoMapType¶

typedef pair<Transition*, timePairType> transitionTimePairType¶

typedef map<Transition*, timePairType> transitionTimeMapType¶

typedef pair<string, timePairType> eventNotificationTimePairType¶

typedef map<string, timePairType> eventNotificationTimeMapType¶

typedef pair<State*, vector<Transition*>> stateTransitionsPairType¶

typedef map<State*, vector<Transition*>> stateTransitionsMapType¶

typedef pair<Transition*, bool> visitTransitionPairType¶

typedef map<Transition*, bool> visitTransitionMapType¶

typedef pair<EntryFunctionContainer*, FindGPUMacro::forStmtGPUMacroMapType> entryFunctionMacroPairType¶

typedef map<EntryFunctionContainer*, FindGPUMacro::forStmtGPUMacroMapType> entryFunctionMacroMapType¶

typedef pair<SusCFG*, GPUMacro*> susCFGBlockGPUMacroPairType¶

typedef map<SusCFG*, GPUMacro*> susCFGBlockGPUMacroMapType¶

typedef pair<timePairType, vector<SusCFG*>> commonTimeDPPairType¶

typedef map<timePairType, vector<SusCFG*>> commonTimeDPMapType¶

Public Functions

GlobalSuspensionAutomata(Model*, raw_ostream&, ASTContext*)¶

~GlobalSuspensionAutomata()¶

bool updateTransitionTime(Transition*)¶

void updateEventNotificationTime(Transition*)¶

void getTransportType()¶

void annotateTransitionsDPSeg(Transition*, int)¶

void initializeGpuMap()¶

bool GPUMap(float, vector<SusCFG*>, float&)¶

vector<SusCFG*> arrangeGPUSusCFGBlocks(vector<SusCFG*>)¶

float maxTime(vector<SusCFG*>, unsigned int)¶

float max(float, float)¶

vector<SusCFG*> merge_sort(vector<SusCFG*>, vector<SusCFG*>)¶

void initialise()¶

string getArgumentName(Expr*)¶

bool isNotifyCall(const CFGStmt*)¶

void genGSauto()¶

string getNotifyEventName(const CFGStmt*)¶

void dump()¶

transitionVectorType getGlobalSauto()¶

transitionVectorType getTransitionsAtTime(timePairType)¶

transitionVectorType getOutgoingTransitions(State*)¶

transitionVectorType getIncomingTransitions(State*)¶

timePairType getTimeForTransition(Transition*)¶

instanceFunctionSautoMapType getInstanceFunctionSautoMap()¶

transitionTimeMapType getTransitionTimeMap()¶

susCFGBlockGPUMacroMapType getSusCFGBlockGPUMacroMap()¶

entryFunctionMacroMapType getEntryFunctionMacroMap()¶