|
DiaDes
0.1
DIAgnosis of Discrete-Event System
|
This is the complete list of members for Diades::Petri::LabelledNet, including all inherited members.
| _event | Diades::Petri::LabelledNet | private |
| _eventList | Diades::Petri::LabelledNet | private |
| _eventTransitions | Diades::Petri::LabelledNet | private |
| _graph | Diades::Petri::BoundedNet | protected |
| _inhibited | Diades::Petri::BoundedNet | protected |
| _inhibitors | Diades::Petri::BoundedNet | protected |
| _initialMarking | Diades::Petri::BoundedNet | protected |
| _labelOfNode | Diades::Petri::BoundedNet | protected |
| _lambda | Diades::Petri::LabelledNet | private |
| _name | Diades::Petri::BoundedNet | protected |
| _nameOfNode | Diades::Petri::BoundedNet | protected |
| _nodeType | Diades::Petri::BoundedNet | protected |
| _placeOfName | Diades::Petri::BoundedNet | protected |
| _postponable | Diades::Petri::BoundedNet | protected |
| _transitionOfName | Diades::Petri::BoundedNet | protected |
| addPost(Transition transition, Place place) | Diades::Petri::BoundedNet | inline |
| addPre(Transition transition, Place place) | Diades::Petri::BoundedNet | inline |
| 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::LabelledNet | virtual |
| 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::BoundedNet | virtual |
| beginOfEvents() const | Diades::Petri::LabelledNet | inline |
| beginOfPlaces() const | Diades::Petri::BoundedNet | inline |
| beginOfTransitions() const | Diades::Petri::BoundedNet | inline |
| beginOfTransitionWithEvent(Event event) const | Diades::Petri::LabelledNet | inline |
| BoundedNet() | Diades::Petri::BoundedNet | |
| BoundedNet(const BoundedNet &net) | Diades::Petri::BoundedNet | |
| clear() | Diades::Petri::BoundedNet | |
| containsEvent(Event event) const | Diades::Petri::LabelledNet | inline |
| 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::LabelledNet | virtual |
| 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::BoundedNet | protectedvirtual |
| deletePlace(Place p) | Diades::Petri::BoundedNet | |
| deleteTransition(Transition t) | Diades::Petri::LabelledNet | virtual |
| duplicateTransition(Transition t) | Diades::Petri::LabelledNet | virtual |
| enables(Transition t, const Marking &marking) const | Diades::Petri::BoundedNet | virtual |
| endOfEvents() const | Diades::Petri::LabelledNet | inline |
| endOfPlaces() const | Diades::Petri::BoundedNet | inline |
| endOfTransitions() const | Diades::Petri::BoundedNet | inline |
| endOfTransitionWithEvent(Event event) const | Diades::Petri::LabelledNet | inline |
| Event typedef | Diades::Petri::LabelledNet | |
| EventIterator typedef | Diades::Petri::LabelledNet | |
| EventTransitionIterator typedef | Diades::Petri::LabelledNet | |
| Exception typedef | Diades::Petri::LabelledNet | |
| fire(Transition t, const Marking &marking, Marking &newMarking) const | Diades::Petri::BoundedNet | virtual |
| getArc(Diades::Graph::Node n1, Diades::Graph::Node n2) const | Diades::Petri::BoundedNet | |
| getEvent(Transition t) const | Diades::Petri::LabelledNet | inline |
| getPlace(const string &name) const | Diades::Petri::BoundedNet | inline |
| graph() const | Diades::Petri::BoundedNet | inline |
| id() const | Diades::Petri::BoundedNet | inline |
| inhibitors(Place p) const | Diades::Petri::BoundedNet | inline |
| inhibits(Place p, Transition t) const | Diades::Petri::BoundedNet | inline |
| initialMarking() const | Diades::Petri::BoundedNet | inline |
| initialMarking() | Diades::Petri::BoundedNet | inline |
| inPost(Transition t, Place p) const | Diades::Petri::BoundedNet | |
| inPre(Transition t, Place p) const | Diades::Petri::BoundedNet | |
| isMarked() const | Diades::Petri::BoundedNet | inline |
| LabelledNet() | Diades::Petri::LabelledNet | inline |
| LabelledNet(const LabelledNet &net) | Diades::Petri::LabelledNet | |
| LabelledNet(const LabelledNet &lpn1, const LabelledNet &lpn2, const unordered_set< Event > &syncEvents) | Diades::Petri::LabelledNet | |
| labelOfPlace(const Place &p) const | Diades::Petri::BoundedNet | inline |
| lambda() const | Diades::Petri::LabelledNet | inline |
| 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::LabelledNet | virtual |
| mergePlaces(Iterator first, Iterator last) | Diades::Petri::BoundedNet | inline |
| name() const | Diades::Petri::BoundedNet | inline |
| nameOfPlace(Place p) const | Diades::Petri::BoundedNet | inline |
| nameOfTransition(Transition transition) const | Diades::Petri::BoundedNet | inline |
| nameOfTransition2Dot(ostream &os, Transition transition) const | Diades::Petri::LabelledNet | inlinevirtual |
| net2Dot(const string &fileName) const | Diades::Petri::BoundedNet | virtual |
| net2Tina(ostream &os) const | Diades::Petri::BoundedNet | |
| net2Tina(const string &filename) const | Diades::Petri::BoundedNet | |
| net2TinaEnd(ostream &os, const string &header) const | Diades::Petri::BoundedNet | inlineprotectedvirtual |
| net2TinaTransition(ostream &os, Transition trans) const | Diades::Petri::BoundedNet | protectedvirtual |
| net2TinaTransitionInterval(ostream &os, Transition transition) const | Diades::Petri::BoundedNet | inlineprotectedvirtual |
| net2TinaTransitionName(ostream &os, Transition trans) const | Diades::Petri::LabelledNet | inlinevirtual |
| net2TinaWithHeader(ostream &os, const string &netHeader) const | Diades::Petri::BoundedNet | protected |
| newPlace() | Diades::Petri::BoundedNet | inline |
| newPlace(const string &name) | Diades::Petri::BoundedNet | |
| newTransition(const set< Place > &pre, const set< Place > &post, const string &name, Event e) | Diades::Petri::LabelledNet | virtual |
| Diades::Petri::BoundedNet::newTransition(const set< Place > &pre, const set< Place > &post) | Diades::Petri::BoundedNet | virtual |
| Diades::Petri::BoundedNet::newTransition(const set< Place > &pre, const set< Place > &post, const string &name) | Diades::Petri::BoundedNet | inlinevirtual |
| NodeType enum name | Diades::Petri::BoundedNet | |
| NotPostponable enum value | Diades::Petri::BoundedNet | protected |
| numberOfArcs() const | Diades::Petri::BoundedNet | inline |
| numberOfPlaces() const | Diades::Petri::BoundedNet | inline |
| numberOfTransitions() const | Diades::Petri::BoundedNet | inline |
| operator=(const LabelledNet &net) | Diades::Petri::LabelledNet | |
| Diades::Petri::BoundedNet::operator=(const BoundedNet &net) | Diades::Petri::BoundedNet | |
| P enum value | Diades::Petri::BoundedNet | |
| PlaceIterator typedef | Diades::Petri::BoundedNet | |
| postBegin(Transition transition) const | Diades::Petri::BoundedNet | inline |
| postEnd(Transition transition) const | Diades::Petri::BoundedNet | inline |
| Postponable enum value | Diades::Petri::BoundedNet | protected |
| postTransBegin(Place place) const | Diades::Petri::BoundedNet | inline |
| postTransEnd(Place place) const | Diades::Petri::BoundedNet | inline |
| preBegin(Transition transition) const | Diades::Petri::BoundedNet | inline |
| preEnd(Transition transition) const | Diades::Petri::BoundedNet | inline |
| preTransBegin(Place place) const | Diades::Petri::BoundedNet | inline |
| preTransEnd(Place place) const | Diades::Petri::BoundedNet | inline |
| printPrettyMarking(ostream &os, const Marking &marking) const | Diades::Petri::BoundedNet | |
| setId(unsigned id) | Diades::Petri::BoundedNet | inline |
| setInhibition(Place p, Transition t) | Diades::Petri::BoundedNet | inlinevirtual |
| setLabelOfPlace(Place place, const string &label) | Diades::Petri::BoundedNet | inline |
| setName(const string &name) | Diades::Petri::BoundedNet | inline |
| setNameOfPlace(Place p, const string &name) | Diades::Petri::BoundedNet | inline |
| setNameOfTransition(Transition transition, const string &name) | Diades::Petri::BoundedNet | inline |
| T enum value | Diades::Petri::BoundedNet | |
| TransitionEventIterator typedef | Diades::Petri::LabelledNet | |
| TransitionIterator typedef | Diades::Petri::BoundedNet | |
| transitionOfName(const string &name) const | Diades::Petri::BoundedNet | inline |
| TransitionType enum name | Diades::Petri::BoundedNet | protected |
| typeName() | Diades::Petri::LabelledNet | inlinestatic |
| unsetInhibition(Place p, Transition t) | Diades::Petri::BoundedNet | inlinevirtual |
| writeEndOfDotFile(ostream &os) const | Diades::Petri::BoundedNet | inlineprotectedvirtual |
| ~BoundedNet() | Diades::Petri::BoundedNet | inlinevirtual |
1.8.13