andbur.au.qut.nets.unfolding

Class Execution

java.lang.Object

andbur.au.qut.nets.unfolding.Execution

public class Execution
extends java.lang.Object

Created by armascer on 9/11/2017.

Constructor Summary

Constructors

Constructor and Description
Execution()

Method Summary

Modifier and Type	Method and Description
void	addFired(andbur.hub.top.petrinet.Transition t)
Execution	clone()
java.util.LinkedList<java.lang.String>	getTrace()
void	setFiringSeq(java.util.LinkedList<andbur.hub.top.petrinet.Transition> firingSeq)
void	setMarking(java.util.LinkedList<andbur.hub.top.petrinet.Place> marking)
void	setTrace(java.util.LinkedList<java.lang.String> trace)

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Execution

public Execution()

Method Detail

setMarking

public void setMarking(java.util.LinkedList<andbur.hub.top.petrinet.Place> marking)

clone

public Execution clone()

Overrides:

clone in class java.lang.Object

addFired

public void addFired(andbur.hub.top.petrinet.Transition t)

setFiringSeq

public void setFiringSeq(java.util.LinkedList<andbur.hub.top.petrinet.Transition> firingSeq)

setTrace

public void setTrace(java.util.LinkedList<java.lang.String> trace)

getTrace

public java.util.LinkedList<java.lang.String> getTrace()