public class DPNGraphvizConverter
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
DPNGraphvizConverter.DecorationKey |
static interface |
DPNGraphvizConverter.DPNAsDot |
Constructor and Description |
---|
DPNGraphvizConverter() |
Modifier and Type | Method and Description |
---|---|
static DPNGraphvizConverter.DPNAsDot |
convertDPN(DataPetriNet dpn) |
static DPNGraphvizConverter.DPNAsDot |
convertDPN(DataPetriNet dpn,
org.processmining.models.semantics.petrinet.Marking initialMarking) |
static DPNGraphvizConverter.DPNAsDot |
convertDPN(DataPetriNet dpn,
org.processmining.models.semantics.petrinet.Marking initialMarking,
org.processmining.models.semantics.petrinet.Marking[] finalMarkings) |
static DPNGraphvizConverter.DPNAsDot |
convertDPN(DataPetriNet dpn,
org.processmining.models.semantics.petrinet.Marking initialMarking,
org.processmining.models.semantics.petrinet.Marking[] finalMarkings,
DPNGraphvizConverterPlugin.GuardDisplayMode guardDisplayMode,
DPNGraphvizConverterPlugin.VariableDisplayMode variableDisplayMode,
DPNGraphvizConverterPlugin.PlaceDisplayMode placeDisplayMode,
org.processmining.plugins.graphviz.dot.Dot.GraphDirection direction) |
static DPNGraphvizConverter.DPNAsDot |
convertDPN(DataPetriNet dpn,
org.processmining.models.semantics.petrinet.Marking initialMarking,
org.processmining.models.semantics.petrinet.Marking[] finalMarkings,
DPNGraphvizConverterPlugin.GuardDisplayMode guardDisplayMode,
DPNGraphvizConverterPlugin.VariableDisplayMode variableMode,
DPNGraphvizConverterPlugin.PlaceDisplayMode placeDisplayMode,
org.processmining.plugins.graphviz.dot.Dot.GraphDirection direction,
java.util.Map<org.processmining.models.graphbased.AbstractGraphElement,java.util.Map<DPNGraphvizConverter.DecorationKey,java.lang.Object>> attributeMap) |
static void |
decorateNode(java.util.Map<DPNGraphvizConverter.DecorationKey,java.lang.Object> decorationMap,
org.processmining.plugins.graphviz.dot.DotElement node) |
DPNGraphvizConverter.DPNAsDot |
doConvertDPN(DataPetriNet dpn,
org.processmining.models.semantics.petrinet.Marking initialMarking,
org.processmining.models.semantics.petrinet.Marking[] finalMarkings,
DPNGraphvizConverterPlugin.GuardDisplayMode guardDisplayMode,
DPNGraphvizConverterPlugin.VariableDisplayMode variableMode,
DPNGraphvizConverterPlugin.PlaceDisplayMode placeDisplayMode,
org.processmining.plugins.graphviz.dot.Dot.GraphDirection direction,
java.util.Map<org.processmining.models.graphbased.AbstractGraphElement,java.util.Map<DPNGraphvizConverter.DecorationKey,java.lang.Object>> attributeMap) |
int |
getMaxGuardLabelLength() |
int |
getMaxGuardLabelLineLength() |
int |
getMaxLabelLength() |
int |
getMaxLabelLineLength() |
void |
setMaxGuardLabelLength(int maxGuardLabelLength) |
void |
setMaxGuardLabelLineLength(int maxGuardLabelLineLength) |
void |
setMaxLabelLength(int maxLabelLength) |
void |
setMaxLabelLineLength(int maxLabelLineLength) |
public static DPNGraphvizConverter.DPNAsDot convertDPN(DataPetriNet dpn)
public static DPNGraphvizConverter.DPNAsDot convertDPN(DataPetriNet dpn, org.processmining.models.semantics.petrinet.Marking initialMarking)
public static DPNGraphvizConverter.DPNAsDot convertDPN(DataPetriNet dpn, org.processmining.models.semantics.petrinet.Marking initialMarking, org.processmining.models.semantics.petrinet.Marking[] finalMarkings)
public static DPNGraphvizConverter.DPNAsDot convertDPN(DataPetriNet dpn, org.processmining.models.semantics.petrinet.Marking initialMarking, org.processmining.models.semantics.petrinet.Marking[] finalMarkings, DPNGraphvizConverterPlugin.GuardDisplayMode guardDisplayMode, DPNGraphvizConverterPlugin.VariableDisplayMode variableDisplayMode, DPNGraphvizConverterPlugin.PlaceDisplayMode placeDisplayMode, org.processmining.plugins.graphviz.dot.Dot.GraphDirection direction)
public static DPNGraphvizConverter.DPNAsDot convertDPN(DataPetriNet dpn, org.processmining.models.semantics.petrinet.Marking initialMarking, org.processmining.models.semantics.petrinet.Marking[] finalMarkings, DPNGraphvizConverterPlugin.GuardDisplayMode guardDisplayMode, DPNGraphvizConverterPlugin.VariableDisplayMode variableMode, DPNGraphvizConverterPlugin.PlaceDisplayMode placeDisplayMode, org.processmining.plugins.graphviz.dot.Dot.GraphDirection direction, java.util.Map<org.processmining.models.graphbased.AbstractGraphElement,java.util.Map<DPNGraphvizConverter.DecorationKey,java.lang.Object>> attributeMap)
public DPNGraphvizConverter.DPNAsDot doConvertDPN(DataPetriNet dpn, org.processmining.models.semantics.petrinet.Marking initialMarking, org.processmining.models.semantics.petrinet.Marking[] finalMarkings, DPNGraphvizConverterPlugin.GuardDisplayMode guardDisplayMode, DPNGraphvizConverterPlugin.VariableDisplayMode variableMode, DPNGraphvizConverterPlugin.PlaceDisplayMode placeDisplayMode, org.processmining.plugins.graphviz.dot.Dot.GraphDirection direction, java.util.Map<org.processmining.models.graphbased.AbstractGraphElement,java.util.Map<DPNGraphvizConverter.DecorationKey,java.lang.Object>> attributeMap)
public static void decorateNode(java.util.Map<DPNGraphvizConverter.DecorationKey,java.lang.Object> decorationMap, org.processmining.plugins.graphviz.dot.DotElement node)
public int getMaxLabelLength()
public void setMaxLabelLength(int maxLabelLength)
public int getMaxLabelLineLength()
public void setMaxLabelLineLength(int maxLabelLineLength)
public int getMaxGuardLabelLength()
public void setMaxGuardLabelLength(int maxGuardLabelLength)
public int getMaxGuardLabelLineLength()
public void setMaxGuardLabelLineLength(int maxGuardLabelLineLength)