DiaDes  0.1
DIAgnosis of Discrete-Event System
Diades::Petri::TwinRealTimeSystemPattern Member List

This is the complete list of members for Diades::Petri::TwinRealTimeSystemPattern, including all inherited members.

_graphDiades::Petri::BoundedNetprotected
_inhibitedDiades::Petri::BoundedNetprotected
_inhibitorsDiades::Petri::BoundedNetprotected
_initialMarkingDiades::Petri::BoundedNetprotected
_labelOfNodeDiades::Petri::BoundedNetprotected
_leftFinalMarkingsDiades::Petri::TwinRealTimeSystemPatternprivate
_leftNonAdmissibleSystemPlacesDiades::Petri::TwinRealTimeSystemPatternprivate
_nameDiades::Petri::BoundedNetprotected
_nameOfNodeDiades::Petri::BoundedNetprotected
_nodeTypeDiades::Petri::BoundedNetprotected
_observablesDiades::Petri::RealTimeSystemprotected
_placeOfNameDiades::Petri::BoundedNetprotected
_postponableDiades::Petri::BoundedNetprotected
_rightFinalMarkingsDiades::Petri::TwinRealTimeSystemPatternprivate
_rightNonAdmissibleSystemPlacesDiades::Petri::TwinRealTimeSystemPatternprivate
_seltFormulaDiades::Petri::TwinRealTimeSystemPatternprivate
_transitionOfNameDiades::Petri::BoundedNetprotected
_unobservablesDiades::Petri::RealTimeSystemprotected
addPost(Transition transition, Place place)Diades::Petri::BoundedNetinline
addPre(Transition transition, Place place)Diades::Petri::BoundedNetinline
append(const LabelledPrioritizedNet &net)Diades::Petri::LabelledPrioritizedNet
Diades::Petri::LabelledNet::append(const LabelledNet &net)Diades::Petri::LabelledNet
Diades::Petri::BoundedNet::append(const BoundedNet &net)Diades::Petri::BoundedNet
appendLabelledNet(const LabelledNet &net, Diades::Graph::ConstNodeMap< Diades::Graph::Node > &nodeMap, Diades::Graph::NodeMap< Diades::Graph::Node > &nodeMapCopy, Diades::Graph::ConstEdgeMap< Diades::Graph::Edge > &edgeMap, Diades::Graph::EdgeMap< Diades::Graph::Edge > &edgeMapCopy)Diades::Petri::LabelledNetvirtual
appendLabelledPrioritizedNet(const LabelledPrioritizedNet &net, Diades::Graph::ConstNodeMap< Diades::Graph::Node > &nodeMap, Diades::Graph::NodeMap< Diades::Graph::Node > &nodeMapCopy, Diades::Graph::ConstEdgeMap< Diades::Graph::Edge > &edgeMap, Diades::Graph::EdgeMap< Diades::Graph::Edge > &edgeMapCopy)Diades::Petri::LabelledPrioritizedNetprotectedvirtual
appendNet(const BoundedNet &net, Diades::Graph::ConstNodeMap< Diades::Graph::Node > &nodeMap, Diades::Graph::NodeMap< Diades::Graph::Node > &nodeMapCopy, Diades::Graph::ConstEdgeMap< Diades::Graph::Edge > &edgeMap, Diades::Graph::EdgeMap< Diades::Graph::Edge > &edgeMapCopy)Diades::Petri::BoundedNetvirtual
beginOfEvents() constDiades::Petri::LabelledNetinline
beginOfPlaces() constDiades::Petri::BoundedNetinline
beginOfTransitions() constDiades::Petri::BoundedNetinline
beginOfTransitionWithEvent(Event event) constDiades::Petri::LabelledNetinline
BoundedNet()Diades::Petri::BoundedNet
BoundedNet(const BoundedNet &net)Diades::Petri::BoundedNet
clear()Diades::Petri::BoundedNet
computeSeltFormula()Diades::Petri::TwinRealTimeSystemPatternprivate
containsEvent(Event event) constDiades::Petri::LabelledNetinline
copyLabelledNet(const LabelledNet &net, Diades::Graph::ConstNodeMap< Diades::Graph::Node > &nodeMap, Diades::Graph::NodeMap< Diades::Graph::Node > &nodeMapCopy, Diades::Graph::ConstEdgeMap< Diades::Graph::Edge > &edgeMap, Diades::Graph::EdgeMap< Diades::Graph::Edge > &edgeMapCopy)Diades::Petri::LabelledNetvirtual
copyLabelledPrioritizedNet(const LabelledPrioritizedNet &net, Diades::Graph::ConstNodeMap< Diades::Graph::Node > &nodeMap, Diades::Graph::NodeMap< Diades::Graph::Node > &nodeMapCopy, Diades::Graph::ConstEdgeMap< Diades::Graph::Edge > &edgeMap, Diades::Graph::EdgeMap< Diades::Graph::Edge > &edgeMapCopy)Diades::Petri::LabelledPrioritizedNetprotectedvirtual
copyNet(const BoundedNet &net, Diades::Graph::ConstNodeMap< Diades::Graph::Node > &nodeMap, Diades::Graph::NodeMap< Diades::Graph::Node > &nodeMapCopy, Diades::Graph::ConstEdgeMap< Diades::Graph::Edge > &edgeMap, Diades::Graph::EdgeMap< Diades::Graph::Edge > &edgeMapCopy)Diades::Petri::BoundedNetprotectedvirtual
decomposedTransitions() constDiades::Petri::LabelledPrioritizedTimeNetinline
deletePlace(Place p)Diades::Petri::BoundedNet
deleteTransition(Transition t1)Diades::Petri::LabelledPrioritizedNetvirtual
duplicatePlaces(const RealTimeSystemPattern &syspat, unordered_map< Place, Place > &leftPlaceOf, unordered_map< Place, Place > &rightPlaceOf)Diades::Petri::TwinRealTimeSystemPatternprivate
duplicateTransition(Transition t)Diades::Petri::LabelledNetvirtual
duplicateTransitions(const RealTimeSystemPattern &syspat, const unordered_map< Place, Place > &leftPlaceOf, const unordered_map< Place, Place > &rightPlaceOf, unordered_map< Transition, Transition > &leftTransitionOf, unordered_map< Transition, Transition > &rightTransitionOf, unordered_map< Event, unordered_set< Transition >> &leftObservableTransitions, unordered_map< Event, unordered_set< Transition >> &rightObservableTransitions)Diades::Petri::TwinRealTimeSystemPatternprivate
enables(Transition t, const Marking &marking) constDiades::Petri::BoundedNetvirtual
endOfEvents() constDiades::Petri::LabelledNetinline
endOfPlaces() constDiades::Petri::BoundedNetinline
endOfTransitions() constDiades::Petri::BoundedNetinline
endOfTransitionWithEvent(Event event) constDiades::Petri::LabelledNetinline
Event typedefDiades::Petri::LabelledNet
EventIterator typedefDiades::Petri::LabelledNet
EventTransitionIterator typedefDiades::Petri::LabelledNet
Exception typedefDiades::Petri::LabelledPrioritizedTimeNet
fire(Transition t, const Marking &marking, Marking &newMarking) constDiades::Petri::BoundedNetvirtual
getArc(Diades::Graph::Node n1, Diades::Graph::Node n2) constDiades::Petri::BoundedNet
getEvent(Transition t) constDiades::Petri::LabelledNetinline
getPlace(const string &name) constDiades::Petri::BoundedNetinline
graph() constDiades::Petri::BoundedNetinline
id() constDiades::Petri::BoundedNetinline
inhibitors(Place p) constDiades::Petri::BoundedNetinline
inhibits(Place p, Transition t) constDiades::Petri::BoundedNetinline
initialMarking() constDiades::Petri::BoundedNetinline
initialMarking()Diades::Petri::BoundedNetinline
inPost(Transition t, Place p) constDiades::Petri::BoundedNet
inPre(Transition t, Place p) constDiades::Petri::BoundedNet
Interval typedefDiades::Petri::LabelledPrioritizedTimeNet
isMarked() constDiades::Petri::BoundedNetinline
isObservable(Event e) constDiades::Petri::RealTimeSysteminline
isTimeDecomposed(const Transition &t) constDiades::Petri::LabelledPrioritizedTimeNetinline
LabelledNet()Diades::Petri::LabelledNetinline
LabelledNet(const LabelledNet &net)Diades::Petri::LabelledNet
LabelledNet(const LabelledNet &lpn1, const LabelledNet &lpn2, const unordered_set< Event > &syncEvents)Diades::Petri::LabelledNet
LabelledPrioritizedNet()Diades::Petri::LabelledPrioritizedNet
LabelledPrioritizedNet(const LabelledPrioritizedNet &net)Diades::Petri::LabelledPrioritizedNet
LabelledPrioritizedNet(const LabelledPrioritizedNet &lppn1, const LabelledPrioritizedNet &lppn2, const unordered_set< Event > &syncEvents)Diades::Petri::LabelledPrioritizedNet
LabelledPrioritizedTimeNet()Diades::Petri::LabelledPrioritizedTimeNetinline
labelOfPlace(const Place &p) constDiades::Petri::BoundedNetinline
lambda() constDiades::Petri::LabelledNetinline
leftFinalMarkings() constDiades::Petri::TwinRealTimeSystemPatterninline
leftNonAdmissibleSystemPlaces() constDiades::Petri::TwinRealTimeSystemPatterninline
makeEventConflictFree(Place p)Diades::Petri::LabelledPrioritizedTimeNetvirtual
makeEventConflictFree()Diades::Petri::LabelledPrioritizedTimeNetvirtual
merge(const LabelledPrioritizedNet &lppn1, const LabelledPrioritizedNet &lppn2, const unordered_set< Event > &syncEvents, std::unordered_map< Transition, std::list< Transition > > &lppn1SyncTrans, std::unordered_map< Transition, std::list< Transition > > &lppn2SyncTrans, std::unordered_map< Transition, std::pair< Transition, Transition > > &syncTransitions, std::unordered_map< Place, Place > &lppn1Place, std::unordered_map< Place, Place > &lppn2Place, std::unordered_map< Place, std::pair< Place, Place > > &syncPlaces)Diades::Petri::LabelledPrioritizedNet
Diades::Petri::LabelledNet::merge(const LabelledNet &lpn1, const LabelledNet &lpn2, const unordered_set< Event > &syncEvents, std::unordered_map< Transition, std::list< Transition > > &lpn1SyncTrans, std::unordered_map< Transition, std::list< Transition > > &lpn2SyncTrans, unordered_map< Transition, std::pair< Transition, Transition >> &synchronisations, std::unordered_map< Place, Place > &lpn1Place, std::unordered_map< Place, Place > &lpn2Place, std::unordered_map< Place, std::pair< Place, Place > > &syncPlaces)Diades::Petri::LabelledNet
mergeLabelledNet(const LabelledNet &lpn1, const LabelledNet &lpn2, const unordered_set< Event > &syncEvents, Diades::Graph::ConstNodeMap< Diades::Graph::Node > &nodeMapLpn1, Diades::Graph::NodeMap< Diades::Graph::Node > &nodeMapFromLpn1, Diades::Graph::ConstNodeMap< Diades::Graph::Node > &nodeMapLpn2, Diades::Graph::NodeMap< Diades::Graph::Node > &nodeMapFromLpn2, std::unordered_map< Transition, std::list< Transition > > &lpn1SyncTrans, std::unordered_map< Transition, std::list< Transition > > &lpn2SyncTrans, std::unordered_map< Transition, std::pair< Transition, Transition > > &syncTransitions, std::unordered_map< Place, Place > &lppn1Place, std::unordered_map< Place, Place > &lppn2Place, std::unordered_map< Place, std::pair< Place, Place > > &syncPlaces)Diades::Petri::LabelledNetvirtual
mergeLabelledPrioritizedNet(const LabelledPrioritizedNet &lppn1, const LabelledPrioritizedNet &lppn2, const unordered_set< Event > &syncEvents, Diades::Graph::ConstNodeMap< Diades::Graph::Node > &nodeMapLppn1, Diades::Graph::NodeMap< Diades::Graph::Node > &nodeMapFromLppn1, Diades::Graph::ConstNodeMap< Diades::Graph::Node > &nodeMapLppn2, Diades::Graph::NodeMap< Diades::Graph::Node > &nodeMapFromLppn2, std::unordered_map< Transition, std::list< Transition > > &lppn1SyncTrans, std::unordered_map< Transition, std::list< Transition > > &lppn2SyncTrans, std::unordered_map< Transition, std::pair< Transition, Transition > > &syncTransitions, std::unordered_map< Place, Place > &lppn1Place, std::unordered_map< Place, Place > &lppn2Place, std::unordered_map< Place, std::pair< Place, Place > > &syncPlaces)Diades::Petri::LabelledPrioritizedNetprotectedvirtual
mergePlaces(Iterator first, Iterator last)Diades::Petri::BoundedNetinline
mergeTransition(Transition trLeft, Transition trRight)Diades::Petri::TwinRealTimeSystemPatternprivate
mergeTransitions(unordered_map< Event, unordered_set< Transition >> &leftObservableTransitions, unordered_map< Event, unordered_set< Transition >> &rightObservableTransitions)Diades::Petri::TwinRealTimeSystemPatternprivate
name() constDiades::Petri::BoundedNetinline
nameOfPlace(Place p) constDiades::Petri::BoundedNetinline
nameOfTransition(Transition transition) constDiades::Petri::BoundedNetinline
nameOfTransition2Dot(ostream &os, Transition transition) constDiades::Petri::LabelledPrioritizedTimeNetvirtual
net2Dot(const string &fileName) constDiades::Petri::BoundedNetvirtual
net2Tina(ostream &os) constDiades::Petri::BoundedNet
net2Tina(const string &filename) constDiades::Petri::BoundedNet
net2TinaEnd(ostream &os, const string &header) constDiades::Petri::LabelledPrioritizedNetprotectedvirtual
net2TinaTransition(ostream &os, Transition trans) constDiades::Petri::BoundedNetprotectedvirtual
net2TinaTransitionInterval(ostream &os, Transition trans) constDiades::Petri::LabelledPrioritizedTimeNetinlineprotectedvirtual
net2TinaTransitionName(ostream &os, Transition trans) constDiades::Petri::LabelledNetinlinevirtual
net2TinaWithHeader(ostream &os, const string &netHeader) constDiades::Petri::BoundedNetprotected
newPlace()Diades::Petri::BoundedNetinline
newPlace(const string &name)Diades::Petri::BoundedNet
newTransition(const set< Place > &pre, const set< Place > &post, const string &name, const Interval &interval, Event event)Diades::Petri::LabelledPrioritizedTimeNetvirtual
Diades::Petri::LabelledPrioritizedNet::newTransition(const set< Place > &pre, const set< Place > &post, const string &name, Event e)Diades::Petri::LabelledNetvirtual
Diades::Petri::BoundedNet::newTransition(const set< Place > &pre, const set< Place > &post)Diades::Petri::BoundedNetvirtual
Diades::Petri::BoundedNet::newTransition(const set< Place > &pre, const set< Place > &post, const string &name)Diades::Petri::BoundedNetinlinevirtual
NodeType enum nameDiades::Petri::BoundedNet
NotPostponable enum valueDiades::Petri::BoundedNetprotected
numberOfArcs() constDiades::Petri::BoundedNetinline
numberOfPlaces() constDiades::Petri::BoundedNetinline
numberOfTransitions() constDiades::Petri::BoundedNetinline
operator=(const LabelledPrioritizedNet &net)Diades::Petri::LabelledPrioritizedNet
Diades::Petri::LabelledNet::operator=(const LabelledNet &net)Diades::Petri::LabelledNet
Diades::Petri::BoundedNet::operator=(const BoundedNet &net)Diades::Petri::BoundedNet
P enum valueDiades::Petri::BoundedNet
PlaceIterator typedefDiades::Petri::BoundedNet
postBegin(Transition transition) constDiades::Petri::BoundedNetinline
postEnd(Transition transition) constDiades::Petri::BoundedNetinline
Postponable enum valueDiades::Petri::BoundedNetprotected
postTransBegin(Place place) constDiades::Petri::BoundedNetinline
postTransEnd(Place place) constDiades::Petri::BoundedNetinline
preBegin(Transition transition) constDiades::Petri::BoundedNetinline
preEnd(Transition transition) constDiades::Petri::BoundedNetinline
preTransBegin(Place place) constDiades::Petri::BoundedNetinline
preTransEnd(Place place) constDiades::Petri::BoundedNetinline
printPrettyMarking(ostream &os, const Marking &marking) constDiades::Petri::BoundedNet
priorities(Transition tr) constDiades::Petri::LabelledPrioritizedNet
priorities2Dot(ostream &os) constDiades::Petri::LabelledPrioritizedNet
priorities2Tina(ostream &os) constDiades::Petri::LabelledPrioritizedNetprotectedvirtual
RealTimeSystem()Diades::Petri::RealTimeSysteminline
resetPriority(Transition t1, Transition t2)Diades::Petri::LabelledPrioritizedNet
reversedPriorities(Transition tr) constDiades::Petri::LabelledPrioritizedNet
rightFinalMarkings() constDiades::Petri::TwinRealTimeSystemPatterninline
rightNonAdmissibleSystemPlaces() constDiades::Petri::TwinRealTimeSystemPatterninline
seltFormula() constDiades::Petri::TwinRealTimeSystemPatterninline
setId(unsigned id)Diades::Petri::BoundedNetinline
setInhibition(Place p, Transition t)Diades::Petri::BoundedNetinlinevirtual
setLabelOfPlace(Place place, const string &label)Diades::Petri::BoundedNetinline
setName(const string &name)Diades::Petri::BoundedNetinline
setNameOfPlace(Place p, const string &name)Diades::Petri::BoundedNetinline
setNameOfTransition(Transition transition, const string &name)Diades::Petri::BoundedNetinline
setNonObservable(Event e)Diades::Petri::RealTimeSysteminline
setObservable(Event e)Diades::Petri::RealTimeSysteminline
setPriority(Transition t1, Transition t2)Diades::Petri::LabelledPrioritizedNet
shiftTransition(Transition t)Diades::Petri::LabelledPrioritizedTimeNetprotectedvirtual
staticInterval(const Transition &t) constDiades::Petri::LabelledPrioritizedTimeNetinline
T enum valueDiades::Petri::BoundedNet
Time typedefDiades::Petri::LabelledPrioritizedTimeNet
timeDecomposition()Diades::Petri::LabelledPrioritizedTimeNet
timeDecomposition(Event e)Diades::Petri::LabelledPrioritizedTimeNet
timeDecomposition(Transition t)Diades::Petri::LabelledPrioritizedTimeNetprotectedvirtual
timeDecompositionObservable()Diades::Petri::RealTimeSystem
TransitionEventIterator typedefDiades::Petri::LabelledNet
TransitionIterator typedefDiades::Petri::BoundedNet
transitionOfName(const string &name) constDiades::Petri::BoundedNetinline
TransitionType enum nameDiades::Petri::BoundedNetprotected
TwinRealTimeSystemPattern(const RealTimeSystemPattern &syspat)Diades::Petri::TwinRealTimeSystemPattern
typeName()Diades::Petri::LabelledPrioritizedTimeNetinlinestatic
unsetInhibition(Place p, Transition t)Diades::Petri::BoundedNetinlinevirtual
writeEndOfDotFile(ostream &os) constDiades::Petri::LabelledPrioritizedNetprotectedvirtual
~BoundedNet()Diades::Petri::BoundedNetinlinevirtual
~LabelledPrioritizedTimeNet()Diades::Petri::LabelledPrioritizedTimeNetinlinevirtual
Generated on Tue May 12 2020 15:52:06 for DiaDes by   doxygen 1.8.13