|
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.