public class PetrifyExportDotSG
extends java.lang.Object
Constructor and Description |
---|
PetrifyExportDotSG() |
Modifier and Type | Method and Description |
---|---|
PetrifyDotSG |
write(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem ts)
Write the given transition to a temp file and returns a handle to this
file.
|
void |
write(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem ts,
java.io.File file)
Writes the given transition system to the given file.
|
public PetrifyDotSG write(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem ts)
context
- The current plug-in context.ts
- The transition system to export.public void write(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem ts, java.io.File file) throws org.processmining.framework.connections.ConnectionCannotBeObtained
context
- The current plug-in context.ts
- The given transition system.file
- The given file.org.processmining.framework.connections.ConnectionCannotBeObtained