#include <petrinet.h>
Inheritance diagram for PNapi::Place:
Class to represent places of Petri nets. In addition to the inherited functions and variables from class Node, each place has a type defined in the enumeration communication_type and an initial marking.
Definition at line 235 of file petrinet.h.
Public Member Functions | |
| virtual | ~Place () |
| destructor | |
| void | mark (unsigned int tokens=1) |
| mark the place | |
| string | nodeShortName () const |
| the short name of the place | |
| string | nodeFullName () const |
| the name of the node | |
Public Attributes | |
| bool | isFinal |
| true if place is marked in the final marking | |
| 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 place (used by PetriNet::dotOut()). | |
| string | nodeTypeName () const |
| the name of the type | |
| Place (unsigned int id, string role, communication_type type) | |
| create a place and add a first role to the history | |
Private Attributes | |
| unsigned int | tokens |
| initial marking of the place | |
| string | wasExternal |
| not empty if place was once an communication place and is now internal because of choreographie | |
Friends | |
| class | PetriNet |
| class PetriNet is allowed to access the privates of class Place | |
1.5.2