#include <petrinet.h>
Inheritance diagram for PNapi::Transition:
Class to represent transitions of Petri nets. Each transition inherits the functions and variables from class Node.
Definition at line 199 of file petrinet.h.
Public Member Functions | |
| virtual | ~Transition () |
| destructor | |
| void | add_label (string new_label) |
| add a label to the transition (used for constraint oWFN) | |
| string | nodeFullName () const |
| the name of the node | |
Public Attributes | |
| communication_type | type |
| type of node as defined in communication_type | |
Protected Member Functions | |
| bool | firstMemberAs (string role) const |
| true if first role contains role | |
| bool | firstMemberIs (string role) const |
| true if first role begins with role | |
| bool | historyContains (string role) const |
| true if history contains role | |
| string | nodeName () const |
| the name of the node | |
Protected Attributes | |
| list< string > | history |
| the set of roles (i.e. the history) of the node | |
| unsigned int | id |
| the id of the node | |
| node_type | nodeType |
| the type of the node | |
| string | prefix |
| an additional prefix for the name in order to distinguish nodes of different nets | |
| set< Node * > | preset |
| the preset of this node | |
| set< Node * > | postset |
| the postset of this node | |
| unsigned int | max_occurrences |
| the maximal occurrences of this (communication) place or transition | |
Private Member Functions | |
| string | output_dot () const |
| DOT-output of the transition (used by PetriNet::dotOut()). | |
| string | nodeShortName () const |
| the short name of the transition | |
| string | nodeTypeName () const |
| the name of the type | |
| Transition (unsigned int id, string role) | |
| create a transition and add a first role to the history | |
Private Attributes | |
| set< string > | labels |
| label (used for constraint oWFN) | |
Friends | |
| class | PetriNet |
| class PetriNet is allowed to access the privates of class Transition | |
1.5.2