systemc_clang::State Class Reference

#include <SuspensionAutomata.h>

Collaboration diagram for systemc_clang::State:

Public Member 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 ()

Private Attributes
SusCFG *	_susCFGBlock
bool	_isTimed
bool	_isDelta
bool	_isInitial
bool	_isEvent
string	_eventName
float	_timeInNS

Detailed Description

Definition at line 63 of file SuspensionAutomata.h.

Constructor & Destructor Documentation

State()

State::State	(	SusCFG *	susCFG,
		bool	isTimed,
		bool	isDelta,
		bool	isInitial,
		bool	isEvent )

Definition at line 81 of file SuspensionAutomata.cpp.

~State()

State::~State

(

)

Definition at line 89 of file SuspensionAutomata.cpp.

Member Function Documentation

addEventName()

void State::addEventName

(

string

eventName

)

Definition at line 107 of file SuspensionAutomata.cpp.

addSimTime()

void State::addSimTime

(

float

simTime

)

Definition at line 109 of file SuspensionAutomata.cpp.

getEventName()

string State::getEventName

(

)

Definition at line 111 of file SuspensionAutomata.cpp.

getSimTime()

float State::getSimTime

(

)

Definition at line 113 of file SuspensionAutomata.cpp.

isDelta()

bool State::isDelta

(

)

Definition at line 93 of file SuspensionAutomata.cpp.

isEvent()

bool State::isEvent

(

)

Definition at line 95 of file SuspensionAutomata.cpp.

isInitial()

bool State::isInitial

(

)

Definition at line 97 of file SuspensionAutomata.cpp.

isTimed()

bool State::isTimed

(

)

Definition at line 91 of file SuspensionAutomata.cpp.

returnSusCFGBlock()

SusCFG * State::returnSusCFGBlock

(

)

Definition at line 115 of file SuspensionAutomata.cpp.

setDelta()

void State::setDelta

(

)

Definition at line 105 of file SuspensionAutomata.cpp.

setEvent()

void State::setEvent

(

)

Definition at line 103 of file SuspensionAutomata.cpp.

setInitial()

void State::setInitial

(

)

Definition at line 99 of file SuspensionAutomata.cpp.

setTimed()

void State::setTimed

(

)

Definition at line 101 of file SuspensionAutomata.cpp.

Member Data Documentation

_eventName

string systemc_clang::State::_eventName

private

Definition at line 89 of file SuspensionAutomata.h.

_isDelta

bool systemc_clang::State::_isDelta

private

Definition at line 86 of file SuspensionAutomata.h.

_isEvent

bool systemc_clang::State::_isEvent

private

Definition at line 88 of file SuspensionAutomata.h.

_isInitial

bool systemc_clang::State::_isInitial

private

Definition at line 87 of file SuspensionAutomata.h.

_isTimed

bool systemc_clang::State::_isTimed

private

Definition at line 85 of file SuspensionAutomata.h.

_susCFGBlock

SusCFG* systemc_clang::State::_susCFGBlock

private

Definition at line 84 of file SuspensionAutomata.h.

_timeInNS

float systemc_clang::State::_timeInNS

private

Definition at line 90 of file SuspensionAutomata.h.

---

The documentation for this class was generated from the following files:

• src/SCuitable/SuspensionAutomata.h
• src/SCuitable/SuspensionAutomata.cpp