public class BerthelotParameters
extends org.processmining.basicutils.parameters.impl.PluginParametersImpl
Constructor and Description |
---|
BerthelotParameters() |
BerthelotParameters(BerthelotParameters parameters) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<org.processmining.models.semantics.petrinet.Marking> |
getFinalBerthelotMarkings() |
java.util.Set<org.processmining.models.semantics.petrinet.Marking> |
getFinalMarkings() |
org.processmining.models.semantics.petrinet.Marking |
getInitialBerthelotMarking() |
org.processmining.models.semantics.petrinet.Marking |
getInitialMarking() |
void |
setFinalBerthelotMarkings(java.util.Set<org.processmining.models.semantics.petrinet.Marking> finalBerthelotMarkings) |
void |
setFinalMarkings(java.util.Set<org.processmining.models.semantics.petrinet.Marking> finalMarkings) |
void |
setInitialBerthelotMarking(org.processmining.models.semantics.petrinet.Marking initialBerthelotMarking) |
void |
setInitialMarking(org.processmining.models.semantics.petrinet.Marking initialMarking) |
public BerthelotParameters()
public BerthelotParameters(BerthelotParameters parameters)
public org.processmining.models.semantics.petrinet.Marking getInitialMarking()
public void setInitialMarking(org.processmining.models.semantics.petrinet.Marking initialMarking)
public java.util.Set<org.processmining.models.semantics.petrinet.Marking> getFinalMarkings()
public void setFinalMarkings(java.util.Set<org.processmining.models.semantics.petrinet.Marking> finalMarkings)
public org.processmining.models.semantics.petrinet.Marking getInitialBerthelotMarking()
public void setInitialBerthelotMarking(org.processmining.models.semantics.petrinet.Marking initialBerthelotMarking)
public java.util.Set<org.processmining.models.semantics.petrinet.Marking> getFinalBerthelotMarkings()
public void setFinalBerthelotMarkings(java.util.Set<org.processmining.models.semantics.petrinet.Marking> finalBerthelotMarkings)