Uses of Class
org.processmining.models.semantics.petrinet.impl.EfficientTimedMarking

Packages that use EfficientTimedMarking

Package	Description
org.processmining.models.semantics.petrinet.impl

Uses of EfficientTimedMarking in org.processmining.models.semantics.petrinet.impl

Fields in org.processmining.models.semantics.petrinet.impl declared as EfficientTimedMarking

Modifier and Type	Field	Description
protected EfficientTimedMarking	EfficientDiscreteStochasticNetSemanticsImpl.currentTimedMarking

Methods in org.processmining.models.semantics.petrinet.impl that return EfficientTimedMarking

Modifier and Type	Method	Description
EfficientTimedMarking	EfficientTimedMarking.clone()
EfficientTimedMarking	EfficientDiscreteStochasticNetSemanticsImpl.getInternalState()

Methods in org.processmining.models.semantics.petrinet.impl with parameters of type EfficientTimedMarking

Modifier and Type	Method	Description
void	EfficientDiscreteStochasticNetSemanticsImpl.setInternalState(EfficientTimedMarking state)