public class ConvertPetriNetToAcceptingPetriNetParameters
extends org.processmining.basicutils.parameters.impl.PluginParametersImpl
Constructor and Description |
---|
ConvertPetriNetToAcceptingPetriNetParameters(ConvertPetriNetToAcceptingPetriNetParameters parameters) |
ConvertPetriNetToAcceptingPetriNetParameters(org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object object) |
java.util.Set<org.processmining.models.semantics.petrinet.Marking> |
getFinalMarkings() |
org.processmining.models.semantics.petrinet.Marking |
getInitialMarking() |
void |
setFinalMarkings(java.util.Set<org.processmining.models.semantics.petrinet.Marking> finalMarkings) |
void |
setInitialMarking(org.processmining.models.semantics.petrinet.Marking initialMarking) |
public ConvertPetriNetToAcceptingPetriNetParameters(org.processmining.models.graphbased.directed.petrinet.Petrinet net)
public ConvertPetriNetToAcceptingPetriNetParameters(ConvertPetriNetToAcceptingPetriNetParameters parameters)
public void setInitialMarking(org.processmining.models.semantics.petrinet.Marking initialMarking)
public org.processmining.models.semantics.petrinet.Marking getInitialMarking()
public void setFinalMarkings(java.util.Set<org.processmining.models.semantics.petrinet.Marking> finalMarkings)
public java.util.Set<org.processmining.models.semantics.petrinet.Marking> getFinalMarkings()
public boolean equals(java.lang.Object object)
equals
in class org.processmining.basicutils.parameters.impl.PluginParametersImpl