DiaDes
0.1
DIAgnosis of Discrete-Event System
|
#include <NodeInstance.hh>
Public Types | |
typedef vector< Variable >::size_type | VariableIndex |
typedef vector< NodeInstanceData * >::size_type | SubNodeIndex |
Private Types | |
typedef unordered_map< Identifier, pair< Variable, pair< EncVariable, EncVariable > > > | VarDictionary |
Private Member Functions | |
void | encodeTransitions (const Event &event) |
Private Attributes | |
AltaricaModel * | _model |
NodeInstanceData * | _parent |
vector< NodeInstanceData * > | _children |
Node | _node |
Identifier | _name |
vector< Variable > | _localNodeVariables |
vector< EncVariable > | _localEncodedNodeVariables |
vector< EncVariable > | _localEncodedNextNodeVariables |
vector< Variable > | _localStateVariables |
vector< EncVariable > | _localEncodedStateVariables |
vector< EncVariable > | _localEncodedNextStateVariables |
vector< Variable > | _localFlowVariables |
vector< EncVariable > | _localEncodedFlowVariables |
vector< EncVariable > | _localEncodedNextFlowVariables |
VarDictionary | _localVarDictionary |
EncVariable | _localEvents |
FormulaFactory * | _formulaFactory |
EncVariableFactory * | _variableFactory |
map< Event, Formula > | _encodedTransitionOfEvent |
bool | _valid |
string | _log |
This is an internal data structure that stores the data about a NodeInstance object. A NodeInstance object is just a pointer on such NodeInstanceData.
Definition at line 26 of file NodeInstance.hh.
typedef vector<NodeInstanceData *>::size_type Diades::Altarica::NodeInstanceData::SubNodeIndex |
Definition at line 144 of file NodeInstance.hh.
|
private |
Definition at line 32 of file NodeInstance.hh.
typedef vector<Variable>::size_type Diades::Altarica::NodeInstanceData::VariableIndex |
Definition at line 29 of file NodeInstance.hh.
Diades::Altarica::NodeInstanceData::NodeInstanceData | ( | AltaricaModel * | model, |
NodeInstanceData * | parent, | ||
Node | type, | ||
const Identifier & | name | ||
) |
Diades::Altarica::NodeInstanceData::~NodeInstanceData | ( | ) |
|
private |
|
inline |
Definition at line 70 of file NodeInstance.hh.
Referenced by Diades::Altarica::NodeInstance::factory().
|
inline |
Definition at line 86 of file NodeInstance.hh.
Referenced by Diades::Altarica::NodeInstance::firstFlowVariableIndex().
|
inline |
Definition at line 92 of file NodeInstance.hh.
Referenced by Diades::Altarica::NodeInstance::firstNodeVariableIndex().
|
inline |
Definition at line 80 of file NodeInstance.hh.
Referenced by Diades::Altarica::NodeInstance::firstStateVariableIndex().
|
inline |
Definition at line 95 of file NodeInstance.hh.
Referenced by Diades::Altarica::NodeInstance::getEncodedEvents().
|
inline |
Definition at line 89 of file NodeInstance.hh.
Referenced by Diades::Altarica::NodeInstance::getEncodedFlowVariable().
|
inline |
Definition at line 90 of file NodeInstance.hh.
Referenced by Diades::Altarica::NodeInstance::getEncodedNextFlowVariable().
|
inline |
Definition at line 97 of file NodeInstance.hh.
Referenced by Diades::Altarica::NodeInstance::getEncodedNextNodeVariable().
|
inline |
Definition at line 84 of file NodeInstance.hh.
Referenced by Diades::Altarica::NodeInstance::getEncodedNextStateVariable().
|
inline |
Definition at line 122 of file NodeInstance.hh.
References Diades::Altarica::Variable::label().
Referenced by Diades::Altarica::NodeInstance::getEncodedNextVariable().
|
inline |
Definition at line 96 of file NodeInstance.hh.
Referenced by Diades::Altarica::NodeInstance::getEncodedNodeVariable().
|
inline |
Definition at line 83 of file NodeInstance.hh.
Referenced by Diades::Altarica::NodeInstance::getEncodedStateVariable().
Definition at line 171 of file NodeInstance.hh.
Referenced by Diades::Altarica::NodeInstance::getEncodedTransition().
|
inline |
Definition at line 109 of file NodeInstance.hh.
References Diades::Altarica::Variable::label().
Referenced by Diades::Altarica::NodeInstance::getEncodedVariable().
|
inline |
Definition at line 88 of file NodeInstance.hh.
Referenced by Diades::Altarica::NodeInstance::getFlowVariable().
|
inline |
Definition at line 94 of file NodeInstance.hh.
Referenced by Diades::Altarica::NodeInstance::getNodeVariable().
|
inline |
Definition at line 82 of file NodeInstance.hh.
Referenced by Diades::Altarica::NodeInstance::getStateVariable().
|
inline |
index | Index of the sub node |
Definition at line 166 of file NodeInstance.hh.
Referenced by Diades::Altarica::NodeInstance::getSubNode().
|
inline |
Definition at line 99 of file NodeInstance.hh.
Referenced by Diades::Altarica::NodeInstance::getVariable().
|
inline |
Definition at line 87 of file NodeInstance.hh.
Referenced by Diades::Altarica::NodeInstance::lastFlowVariableIndex().
|
inline |
Definition at line 93 of file NodeInstance.hh.
Referenced by Diades::Altarica::NodeInstance::lastNodeVariableIndex().
|
inline |
Definition at line 81 of file NodeInstance.hh.
Referenced by Diades::Altarica::NodeInstance::lastStateVariableIndex().
|
inline |
Definition at line 76 of file NodeInstance.hh.
|
inline |
Definition at line 72 of file NodeInstance.hh.
Referenced by Diades::Altarica::NodeInstance::model().
|
inline |
Definition at line 75 of file NodeInstance.hh.
Referenced by Diades::Altarica::NodeInstance::name().
|
inline |
Definition at line 74 of file NodeInstance.hh.
Referenced by Diades::Altarica::NodeInstance::nodeType().
|
inline |
Definition at line 78 of file NodeInstance.hh.
Referenced by Diades::Altarica::NodeInstance::numberOfFlowVariables().
|
inline |
Definition at line 77 of file NodeInstance.hh.
Referenced by Diades::Altarica::NodeInstance::numberOfNodeVariables().
|
inline |
Definition at line 79 of file NodeInstance.hh.
Referenced by Diades::Altarica::NodeInstance::numberOfStateVariables().
|
inline |
Definition at line 138 of file NodeInstance.hh.
Referenced by Diades::Altarica::NodeInstance::numberOfSubNodes().
|
inline |
Definition at line 73 of file NodeInstance.hh.
|
inline |
Definition at line 149 of file NodeInstance.hh.
Referenced by Diades::Altarica::NodeInstance::subNodeFirst().
|
inline |
Definition at line 157 of file NodeInstance.hh.
Referenced by Diades::Altarica::NodeInstance::subNodeLast().
|
inline |
Definition at line 71 of file NodeInstance.hh.
Referenced by Diades::Altarica::NodeInstance::valid().
|
inline |
Definition at line 69 of file NodeInstance.hh.
Referenced by Diades::Altarica::NodeInstance::varFactory().
|
private |
Definition at line 35 of file NodeInstance.hh.
Definition at line 51 of file NodeInstance.hh.
|
private |
Definition at line 49 of file NodeInstance.hh.
|
private |
Definition at line 45 of file NodeInstance.hh.
|
private |
Definition at line 46 of file NodeInstance.hh.
|
private |
Definition at line 40 of file NodeInstance.hh.
|
private |
Definition at line 43 of file NodeInstance.hh.
|
private |
Definition at line 39 of file NodeInstance.hh.
|
private |
Definition at line 42 of file NodeInstance.hh.
|
private |
Definition at line 48 of file NodeInstance.hh.
|
private |
Definition at line 44 of file NodeInstance.hh.
|
private |
Definition at line 38 of file NodeInstance.hh.
|
private |
Definition at line 41 of file NodeInstance.hh.
|
private |
Definition at line 47 of file NodeInstance.hh.
|
private |
Definition at line 53 of file NodeInstance.hh.
|
private |
Definition at line 33 of file NodeInstance.hh.
|
private |
Definition at line 37 of file NodeInstance.hh.
|
private |
Definition at line 36 of file NodeInstance.hh.
|
private |
Definition at line 34 of file NodeInstance.hh.
|
private |
Definition at line 52 of file NodeInstance.hh.
|
private |
Definition at line 50 of file NodeInstance.hh.