public class Run extends AbstractRun<Flow,Node,Place,Transition,Marking>
currentMarking, initialMarking, possibleExtensions, sysmodCount| Constructor and Description |
|---|
Run() |
Run(INetSystem<Flow,Node,Place,Transition,Marking> sys) |
add, add, addAll, addAll, append, clear, clone, copyTransitions, createStep, createStep, getPossibleExtensions, remove, remove, removeAll, removeRange, retainAll, set, setNetSystemcontains, ensureCapacity, get, indexOf, isEmpty, iterator, lastIndexOf, listIterator, listIterator, size, subList, toArray, toArray, trimToSizeequals, hashCodecontainsAll, toStringfinalize, getClass, notify, notifyAll, wait, wait, waitcontains, containsAll, equals, get, hashCode, indexOf, isEmpty, iterator, lastIndexOf, listIterator, listIterator, size, subList, toArray, toArraypublic Run()
public Run(INetSystem<Flow,Node,Place,Transition,Marking> sys)
Copyright © 2017. All rights reserved.