-
explorerModel
ExplorerModel explorerModel
-
explorerContext
ExplorerContext explorerContext
-
dotPanel
org.processmining.datapetrinets.visualization.graphviz.RatioAwareDotPanel dotPanel
-
defaultDot
org.processmining.plugins.graphviz.dot.Dot defaultDot
-
dpnAsDot
org.processmining.datapetrinets.visualization.graphviz.DPNGraphvizConverter.DPNAsDot dpnAsDot
-
currentlySelectedNodes
java.util.Set<E> currentlySelectedNodes
-
defaultStrokeDashArray
java.lang.String defaultStrokeDashArray
-
currentDecoration
ModelDecorationData currentDecoration
-
svgDiagram
com.kitfox.svg.SVGDiagram svgDiagram
-
isUpdating
boolean isUpdating