systemc-clang 2.0.0
Parsing SystemC constructs
|
#include <Automata.h>
Public Types | |
typedef pair< unsigned int, unsigned int > | timePairType |
typedef vector< timePairType > | timeAdvanceVectorType |
Public Member Functions | |
Edge (Node *, Node *) | |
Edge class. | |
Edge (Node *, Node *, int) | |
void | updateSuspensionTime (timePairType) |
int | getId () |
int | getToId () |
int | getFromId () |
timeAdvanceVectorType | getTimeAdvanceVector () |
void | dump (raw_ostream &, int) |
Protected Attributes | |
int | _id |
timeAdvanceVectorType | _timeAdvanceVector |
Node * | _from |
Node * | _to |
Definition at line 42 of file Automata.h.
Definition at line 45 of file Automata.h.
pair<unsigned int, unsigned int> systemc_clang::Edge::timePairType |
Definition at line 44 of file Automata.h.
Edge class.
Definition at line 63 of file Automata.cpp.
Definition at line 65 of file Automata.cpp.
void Edge::dump | ( | raw_ostream & | os, |
int | tabn ) |
Definition at line 73 of file Automata.cpp.
int Edge::getFromId | ( | ) |
Definition at line 79 of file Automata.cpp.
int Edge::getId | ( | ) |
Definition at line 71 of file Automata.cpp.
Edge::timeAdvanceVectorType Edge::getTimeAdvanceVector | ( | ) |
Definition at line 81 of file Automata.cpp.
int Edge::getToId | ( | ) |
Definition at line 77 of file Automata.cpp.
void Edge::updateSuspensionTime | ( | timePairType | timePair | ) |
Definition at line 67 of file Automata.cpp.
|
protected |
Definition at line 62 of file Automata.h.
|
protected |
Definition at line 60 of file Automata.h.
|
protected |
Definition at line 61 of file Automata.h.
|
protected |
Definition at line 63 of file Automata.h.