public class EventBasedPrecisionParameters
extends java.lang.Object
Constructor and Description |
---|
EventBasedPrecisionParameters(org.processmining.acceptingpetrinet.models.AcceptingPetriNet apn) |
Modifier and Type | Method and Description |
---|---|
org.processmining.models.semantics.petrinet.PetrinetSemantics |
getSemantics() |
void |
setSemantics(org.processmining.models.semantics.petrinet.PetrinetSemantics semantics) |