A B C D E F G H I J L M N O P R S T U V W X

M

main(String[]) - Static method in class vanted.addon.StartVantedWithAddon
The main method.
Marking - Class in vanted.petrinetelements.cpn
The Class Marking contains the mapping between tokens and places.
Marking(PetriNet) - Constructor for class vanted.petrinetelements.cpn.Marking
Instantiates a new marking.
MatrixOperation - Class in misc
The Class MatrixOperation.
MatrixOperation(PetriNet) - Constructor for class misc.MatrixOperation
Instantiates a new matrix operation.
mergeNode(List<NodePN>) - Static method in class vanted.petrinetelements.misc.HelperPNMergeNodes
Merge places to one logical place.
mergeNodesWithSameLabel(List<Node>, PetriNet) - Static method in class vanted.petrinetelements.misc.HelperPNMergeNodes
Merge nodes with same label.
misc - package misc
 
MyNodes - Class in vanted.validation
The Class MyNodes is a helper class for node validation.
MyNodes(Node, Node) - Constructor for class vanted.validation.MyNodes
Instantiates a new my nodes.
MyNodesArray - Class in vanted.validation
The Class MyNodesArray is a helper class for node validation.
MyNodesArray() - Constructor for class vanted.validation.MyNodesArray
 

A B C D E F G H I J L M N O P R S T U V W X