#include <GlobalSuspensionAutomata.h>
|
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 |
|
|
| 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 () |
|
| Utility () |
|
void | tabit (raw_ostream &os, int tabn) |
|
string | strip (string s, string sub) |
|
template<typename vec > |
vec | removeDuplicate (vec vecInput) |
|
template<typename vec , typename element > |
bool | isElementPresent (vec vecInput, element elemInput) |
|
template<typename expressionArg > |
string | getArgumentName (expressionArg *exp) |
|
Definition at line 11 of file GlobalSuspensionAutomata.h.
◆ commonTimeDPMapType
◆ commonTimeDPPairType
◆ entryFunctionInstanceIdMapType
◆ entryFunctionInstanceIdPairType
◆ entryFunctionMacroMapType
◆ entryFunctionMacroPairType
◆ eventNotificationTimeMapType
◆ eventNotificationTimePairType
◆ instanceFunctionSautoMapType
◆ instanceFunctionSautoPairType
◆ stateTransitionsMapType
◆ stateTransitionsPairType
◆ susCFGBlockGPUMacroMapType
◆ susCFGBlockGPUMacroPairType
◆ timePairType
◆ transitionTimeMapType
◆ transitionTimePairType
◆ transitionVectorType
◆ visitTransitionMapType
◆ visitTransitionPairType
◆ GlobalSuspensionAutomata()
GlobalSuspensionAutomata::GlobalSuspensionAutomata |
( |
Model * | systemCmodel, |
|
|
raw_ostream & | os, |
|
|
ASTContext * | a ) |
◆ ~GlobalSuspensionAutomata()
GlobalSuspensionAutomata::~GlobalSuspensionAutomata |
( |
| ) |
|
◆ annotateTransitionsDPSeg()
void GlobalSuspensionAutomata::annotateTransitionsDPSeg |
( |
Transition * | t, |
|
|
int | instanceId ) |
◆ arrangeGPUSusCFGBlocks()
vector< SusCFG * > GlobalSuspensionAutomata::arrangeGPUSusCFGBlocks |
( |
vector< SusCFG * > | gpuFitSusCFGVector | ) |
|
◆ dump()
void GlobalSuspensionAutomata::dump |
( |
| ) |
|
◆ genGSauto()
void GlobalSuspensionAutomata::genGSauto |
( |
| ) |
|
◆ getArgumentName()
string GlobalSuspensionAutomata::getArgumentName |
( |
Expr * | arg | ) |
|
◆ getEntryFunctionMacroMap()
◆ getGlobalSauto()
vector< Transition * > GlobalSuspensionAutomata::getGlobalSauto |
( |
| ) |
|
◆ getIncomingTransitions()
vector< Transition * > GlobalSuspensionAutomata::getIncomingTransitions |
( |
State * | state | ) |
|
◆ getInstanceFunctionSautoMap()
◆ getNotifyEventName()
string GlobalSuspensionAutomata::getNotifyEventName |
( |
const CFGStmt * | cs | ) |
|
◆ getOutgoingTransitions()
vector< Transition * > GlobalSuspensionAutomata::getOutgoingTransitions |
( |
State * | state | ) |
|
◆ getSusCFGBlockGPUMacroMap()
◆ getTimeForTransition()
◆ getTransitionsAtTime()
◆ getTransitionTimeMap()
◆ getTransportType()
void systemc_clang::GlobalSuspensionAutomata::getTransportType |
( |
| ) |
|
◆ GPUMap()
bool GlobalSuspensionAutomata::GPUMap |
( |
float | c_ideal, |
|
|
vector< SusCFG * > | susCFGBlockList, |
|
|
float & | c_actual ) |
◆ initialise()
void GlobalSuspensionAutomata::initialise |
( |
| ) |
|
◆ initializeGpuMap()
void GlobalSuspensionAutomata::initializeGpuMap |
( |
| ) |
|
◆ isNotifyCall()
bool GlobalSuspensionAutomata::isNotifyCall |
( |
const CFGStmt * | cs | ) |
|
◆ max()
float GlobalSuspensionAutomata::max |
( |
float | a, |
|
|
float | b ) |
◆ maxTime()
float systemc_clang::GlobalSuspensionAutomata::maxTime |
( |
vector< SusCFG * > | , |
|
|
unsigned int | ) |
◆ merge_sort()
vector< SusCFG * > GlobalSuspensionAutomata::merge_sort |
( |
vector< SusCFG * > | leftList, |
|
|
vector< SusCFG * > | rightList ) |
◆ updateEventNotificationTime()
void GlobalSuspensionAutomata::updateEventNotificationTime |
( |
Transition * | tr | ) |
|
◆ updateTransitionTime()
bool GlobalSuspensionAutomata::updateTransitionTime |
( |
Transition * | tr | ) |
|
◆ _a
ASTContext* systemc_clang::GlobalSuspensionAutomata::_a |
|
private |
◆ _commonTimeDPMap
◆ _entryFunctionGPUMacroMap
◆ _eventNotificationTimeMap
◆ _globalSauto
◆ _incomingTransitionsMap
◆ _instanceFunctionSautoMap
◆ _moduleInstanceMap
◆ _notifyCalls
◆ _os
raw_ostream& systemc_clang::GlobalSuspensionAutomata::_os |
|
private |
◆ _outgoingTransitionsMap
◆ _susCFGBlockGPUMacroMap
◆ _systemcModel
Model* systemc_clang::GlobalSuspensionAutomata::_systemcModel |
|
private |
◆ _transitionTimeMap
◆ _visitTransitionMap
The documentation for this class was generated from the following files: