org.jbpt.petri

Class Marking

java.lang.Object

java.util.AbstractMap<K,V>

java.util.HashMap<P,Integer>

org.jbpt.petri.AbstractMarking<Flow,Node,Place,Transition>

org.jbpt.petri.Marking

All Implemented Interfaces:

Serializable, Cloneable, Map<Place,Integer>, IMarking<Flow,Node,Place,Transition>

public class Marking
extends AbstractMarking<Flow,Node,Place,Transition>

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class java.util.AbstractMap

AbstractMap.SimpleEntry<K,V>, AbstractMap.SimpleImmutableEntry<K,V>

Nested classes/interfaces inherited from interface java.util.Map

Map.Entry<K,V>

Constructor Summary

Constructors

Constructor and Description
Marking()
Marking(IPetriNet<Flow,Node,Place,Transition> net)

Method Summary

Methods inherited from class org.jbpt.petri.AbstractMarking

clear, clone, createMarking, entrySet, equals, fire, fromMultiSet, get, get, getPetriNet, hashCode, isBounded, isEmpty, isMarked, isSafe, put, putAll, remove, remove, setPetriNet, size, toMultiSet

Methods inherited from class java.util.HashMap

containsKey, containsValue, keySet, values

Methods inherited from class java.util.AbstractMap

toString

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Map

containsKey, containsValue, keySet, values

Constructor Detail

Marking

public Marking()

Marking

public Marking(IPetriNet<Flow,Node,Place,Transition> net)