#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: