public class VisitState
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected org.processmining.models.semantics.petrinet.Marking |
marking |
protected java.math.BigDecimal |
probability |
protected java.lang.Long |
time |
protected org.deckfour.xes.model.XTrace |
trace |
Constructor and Description |
---|
VisitState(org.deckfour.xes.model.XTrace trace,
org.processmining.models.semantics.petrinet.Marking marking,
java.lang.Long time,
java.math.BigDecimal probability) |
Modifier and Type | Method and Description |
---|---|
org.processmining.models.semantics.petrinet.Marking |
getMarking() |
java.math.BigDecimal |
getProbability() |
java.lang.Long |
getTime() |
org.deckfour.xes.model.XTrace |
getTrace() |
void |
setMarking(org.processmining.models.semantics.petrinet.Marking marking) |
void |
setProbability(java.math.BigDecimal probability) |
void |
setTime(java.lang.Long time) |
void |
setTrace(org.deckfour.xes.model.XTrace trace) |
protected org.deckfour.xes.model.XTrace trace
protected org.processmining.models.semantics.petrinet.Marking marking
protected java.lang.Long time
protected java.math.BigDecimal probability
public VisitState(org.deckfour.xes.model.XTrace trace, org.processmining.models.semantics.petrinet.Marking marking, java.lang.Long time, java.math.BigDecimal probability)
public org.deckfour.xes.model.XTrace getTrace()
public void setTrace(org.deckfour.xes.model.XTrace trace)
public org.processmining.models.semantics.petrinet.Marking getMarking()
public void setMarking(org.processmining.models.semantics.petrinet.Marking marking)
public java.lang.Long getTime()
public void setTime(java.lang.Long time)
public java.math.BigDecimal getProbability()
public void setProbability(java.math.BigDecimal probability)