Package org.processmining.objectcentricconstraintchecking.algorithms.swing

Class Summary

Class	Description
mxGraphComponent	For setting the preferred size of the viewport for scrolling, use mxGraph.setMinimumGraphSize.
mxGraphComponent.mxMouseRedirector
mxGraphOutline	An outline view for a specific graph component.