Uses of Interface
org.processmining.datapetrinets.dsl.editor.DPNTextEditor.ModelSaver

Packages that use DPNTextEditor.ModelSaver

Package	Description
org.processmining.datapetrinets.dsl.editor

Uses of DPNTextEditor.ModelSaver in org.processmining.datapetrinets.dsl.editor

Methods in org.processmining.datapetrinets.dsl.editor with parameters of type DPNTextEditor.ModelSaver

Modifier and Type	Method and Description
static DPNTextEditor	DPNTextEditor.newInstance(DataPetriNet net, DPNTextEditor.ModelSaver modelSaver)
static DPNTextEditor	DPNTextEditor.newInstance(DataPetriNet net, org.processmining.models.semantics.petrinet.Marking initialMarking, org.processmining.models.semantics.petrinet.Marking finalMarking, DPNTextEditor.ModelSaver modelSaver)
static DPNTextEditor	DPNTextEditor.newInstance(java.lang.String dpnCode, DPNTextEditor.ModelSaver modelSaver)