Class State

• Defined in File SuspensionAutomata.h

Class Documentation

class systemc_clang::State

Public Functions

State(SusCFG*, bool, bool, bool, bool)

~State()

bool isTimed()

bool isDelta()

bool isInitial()

bool isEvent()

void addEventName(string)

void addSimTime(float)

void setTimed()

void setDelta()

void setEvent()

void setInitial()

string getEventName()

float getSimTime()

SusCFG *returnSusCFGBlock()