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

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

_finalMarkingsDiades::Petri::DdNetprotected
_graphDiades::Petri::BoundedNetprotected
_inhibitedDiades::Petri::BoundedNetprotected
_inhibitorsDiades::Petri::BoundedNetprotected
_initialMarkingDiades::Petri::BoundedNetprotected
_labelOfNodeDiades::Petri::BoundedNetprotected
_nameDiades::Petri::BoundedNetprotected
_nameOfNodeDiades::Petri::BoundedNetprotected
_nodeTypeDiades::Petri::BoundedNetprotected
_observablesDiades::Petri::DdNetprotected
_placeOfNameDiades::Petri::BoundedNetprotected
_postponableDiades::Petri::BoundedNetprotected
_rightFinalMarkingsDiades::Petri::TwinPatternprivate
_transitionOfNameDiades::Petri::BoundedNetprotected
_unobservablesDiades::Petri::DdNetprotected
addPost(Transition transition, Place place)Diades::Petri::BoundedNetinline
addPre(Transition transition, Place place)Diades::Petri::BoundedNetinline
ambiguous(const Marking &marking) constDiades::Petri::TwinPattern
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
checkDiagnosability() constDiades::Petri::TwinPattern
clear()Diades::Petri::BoundedNet
clone(std::vector< Place > &left, unordered_map< Place, Place > &rightOf, unordered_map< Transition, Transition > &rightTransitionOf, unordered_map< unsigned, std::list< Transition > > &leftObservableTransitionsOfEvent, unordered_map< unsigned, std::list< Transition > > &rightObservableTransitionsOfEvent)Diades::Petri::TwinPatternprivate
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
DdNet()Diades::Petri::DdNet
ddNet2Dot(const string &fileName) constDiades::Petri::DdNetvirtual
ddNet2Dot(ostream &os) constDiades::Petri::DdNet
deletePlace(Place p)Diades::Petri::BoundedNet
deleteTransition(Transition t1)Diades::Petri::LabelledPrioritizedNetvirtual
duplicateTransition(Transition t)Diades::Petri::LabelledNetvirtual
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::LabelledNet
finalMarkings() constDiades::Petri::DdNetinline
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
isMarked() constDiades::Petri::BoundedNetinline
isObservable(const Event e) constDiades::Petri::DdNetinline
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
labelOfPlace(const Place &p) constDiades::Petri::BoundedNetinline
lambda() constDiades::Petri::LabelledNetinline
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
name() constDiades::Petri::BoundedNetinline
nameOfPlace(Place p) constDiades::Petri::BoundedNetinline
nameOfTransition(Transition transition) constDiades::Petri::BoundedNetinline
nameOfTransition2Dot(ostream &os, Transition transition) constDiades::Petri::LabelledNetinlinevirtual
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 transition) constDiades::Petri::BoundedNetinlineprotectedvirtual
net2TinaTransitionName(ostream &os, Transition trans) constDiades::Petri::LabelledNetinlinevirtual
net2TinaWithHeader(ostream &os, const string &netHeader) constDiades::Petri::BoundedNetprotected
newFinalMarking()Diades::Petri::DdNetinlinevirtual
newPlace()Diades::Petri::BoundedNetinline
newPlace(const string &name)Diades::Petri::BoundedNet
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
observables() constDiades::Petri::DdNetinline
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
resetPriority(Transition t1, Transition t2)Diades::Petri::LabelledPrioritizedNet
reversedPriorities(Transition tr) constDiades::Petri::LabelledPrioritizedNet
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::DdNetinline
setObservable(Event e)Diades::Petri::DdNetinlinevirtual
setPriority(Transition t1, Transition t2)Diades::Petri::LabelledPrioritizedNet
SystemPattern(const System &system, const Pattern &pattern)Diades::Petri::SystemPattern
systemPattern2Dot(const string &fileName) constDiades::Petri::SystemPattern
T enum valueDiades::Petri::BoundedNet
toDdnet(ostream &os) constDiades::Petri::DdNetvirtual
TransitionEventIterator typedefDiades::Petri::LabelledNet
TransitionIterator typedefDiades::Petri::BoundedNet
transitionOfName(const string &name) constDiades::Petri::BoundedNetinline
TransitionType enum nameDiades::Petri::BoundedNetprotected
twin2Dot(const string &fileName) constDiades::Petri::TwinPattern
TwinPattern(const System &system, const Pattern &pattern)Diades::Petri::TwinPattern
typeName()Diades::Petri::LabelledNetinlinestatic
unobservables() constDiades::Petri::DdNetinline
unsetInhibition(Place p, Transition t)Diades::Petri::BoundedNetinlinevirtual
writeEndOfDotFile(ostream &os) constDiades::Petri::LabelledPrioritizedNetprotectedvirtual
~BoundedNet()Diades::Petri::BoundedNetinlinevirtual
~DdNet()Diades::Petri::DdNetinlinevirtual
Generated on Tue May 12 2020 15:52:06 for DiaDes by   doxygen 1.8.13