Class Transition

• Defined in File SuspensionAutomata.h

Class Documentation

class systemc_clang::Transition

Public Functions

Transition()

~Transition()

void addInitialState(State*)

void addFinalState(State*)

void addCodeBlocks(SusCFG*)

void addCodeBlocks(vector<SusCFG*>)

void addInstanceId(int)

State *returnInitialState()

State *returnFinalState()

vector<SusCFG*> returnCodeBlocks()

int returnInstanceId()

void dump(raw_ostream&)