Serialized Form

Package org.processmining.objectcentricconstraintchecking.algorithms.analysis

Class org.processmining.objectcentricconstraintchecking.algorithms.analysis.StructuralException extends java.lang.Exception implements Serializable

serialVersionUID:

-468633497832330356L

Package org.processmining.objectcentricconstraintchecking.algorithms.editor

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.ActEditorPalette extends javax.swing.JPanel implements Serializable

serialVersionUID:

7771113885935187066L

Serialized Fields

eventSource

mxEventSource eventSource

gradientColor

java.awt.Color gradientColor

selectedEntry

javax.swing.JLabel selectedEntry

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.BasicGraphEditor extends javax.swing.JPanel implements Serializable

serialVersionUID:

-6561623072112577140L

Serialized Fields

actPane

javax.swing.JTabbedPane actPane

appTitle

java.lang.String appTitle

changeTracker

mxEventSource.mxIEventListener changeTracker

currentFile

java.io.File currentFile

graphComponent

mxGraphComponent graphComponent

graphOutline

mxGraphOutline graphOutline

keyboardHandler

mxKeyboardHandler keyboardHandler

modified

boolean modified

Flag indicating whether the current graph has been modified

objPane

javax.swing.JTabbedPane objPane

rubberband

mxRubberband rubberband

statusBar

javax.swing.JLabel statusBar

toolBar

EditorToolBar toolBar

undoHandler

mxEventSource.mxIEventListener undoHandler

undoManager

mxUndoManager undoManager

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorAboutFrame extends javax.swing.JDialog implements Serializable

serialVersionUID:

-3378029138434324390L

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActions.AlignCellsAction extends javax.swing.AbstractAction implements Serializable

Serialized Fields

align

java.lang.String align

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActions.AutosizeAction extends javax.swing.AbstractAction implements Serializable

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActions.BackgroundAction extends javax.swing.AbstractAction implements Serializable

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActions.BackgroundImageAction extends javax.swing.AbstractAction implements Serializable

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActions.ColorAction extends javax.swing.AbstractAction implements Serializable

Serialized Fields

key

java.lang.String key

name

java.lang.String name

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActions.ExitAction extends javax.swing.AbstractAction implements Serializable

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActions.FontStyleAction extends javax.swing.AbstractAction implements Serializable

Serialized Fields

bold

boolean bold

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActions.GridColorAction extends javax.swing.AbstractAction implements Serializable

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActions.GridStyleAction extends javax.swing.AbstractAction implements Serializable

Serialized Fields

style

int style

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActions.HistoryAction extends javax.swing.AbstractAction implements Serializable

Serialized Fields

undo

boolean undo

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActions.ImportAction extends javax.swing.AbstractAction implements Serializable

Serialized Fields

lastDir

java.lang.String lastDir

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActions.KeyValueAction extends javax.swing.AbstractAction implements Serializable

Serialized Fields

key

java.lang.String key

value

java.lang.String value

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActions.NewAction extends javax.swing.AbstractAction implements Serializable

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActions.OpenAction extends javax.swing.AbstractAction implements Serializable

Serialized Fields

lastDir

java.lang.String lastDir

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActions.PageBackgroundAction extends javax.swing.AbstractAction implements Serializable

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActions.PageSetupAction extends javax.swing.AbstractAction implements Serializable

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActions.PrintAction extends javax.swing.AbstractAction implements Serializable

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActions.PromptPropertyAction extends javax.swing.AbstractAction implements Serializable

Serialized Fields

fieldname

java.lang.String fieldname

message

java.lang.String message

target

java.lang.Object target

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActions.PromptValueAction extends javax.swing.AbstractAction implements Serializable

Serialized Fields

key

java.lang.String key

message

java.lang.String message

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActions.SaveAction extends javax.swing.AbstractAction implements Serializable

Serialized Fields

lastDir

java.lang.String lastDir

showDialog

boolean showDialog

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActions.ScaleAction extends javax.swing.AbstractAction implements Serializable

Serialized Fields

scale

double scale

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActions.SelectShortestPathAction extends javax.swing.AbstractAction implements Serializable

Serialized Fields

directed

boolean directed

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActions.SelectSpanningTreeAction extends javax.swing.AbstractAction implements Serializable

Serialized Fields

directed

boolean directed

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActions.SetLabelPositionAction extends javax.swing.AbstractAction implements Serializable

Serialized Fields

alignment

java.lang.String alignment

labelPosition

java.lang.String labelPosition

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActions.SetStyleAction extends javax.swing.AbstractAction implements Serializable

Serialized Fields

value

java.lang.String value

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActions.StyleAction extends javax.swing.AbstractAction implements Serializable

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActions.StylesheetAction extends javax.swing.AbstractAction implements Serializable

Serialized Fields

stylesheet

java.lang.String stylesheet

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActions.ToggleAction extends javax.swing.AbstractAction implements Serializable

Serialized Fields

defaultValue

boolean defaultValue

key

java.lang.String key

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActions.ToggleConnectModeAction extends javax.swing.AbstractAction implements Serializable

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActions.ToggleCreateTargetItem extends javax.swing.JCheckBoxMenuItem implements Serializable

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActions.ToggleDirtyAction extends javax.swing.AbstractAction implements Serializable

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActions.ToggleGridItem extends javax.swing.JCheckBoxMenuItem implements Serializable

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActions.ToggleOutlineItem extends javax.swing.JCheckBoxMenuItem implements Serializable

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActions.TogglePropertyItem extends javax.swing.JCheckBoxMenuItem implements Serializable

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActions.ToggleRulersItem extends javax.swing.JCheckBoxMenuItem implements Serializable

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActions.WarningAction extends javax.swing.AbstractAction implements Serializable

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActions.ZoomPolicyAction extends javax.swing.AbstractAction implements Serializable

Serialized Fields

zoomPolicy

int zoomPolicy

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActionsForOCCLEditor.AlignCellsAction extends javax.swing.AbstractAction implements Serializable

Serialized Fields

align

java.lang.String align

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActionsForOCCLEditor.AutosizeAction extends javax.swing.AbstractAction implements Serializable

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActionsForOCCLEditor.BackgroundAction extends javax.swing.AbstractAction implements Serializable

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActionsForOCCLEditor.BackgroundImageAction extends javax.swing.AbstractAction implements Serializable

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActionsForOCCLEditor.ColorAction extends javax.swing.AbstractAction implements Serializable

Serialized Fields

key

java.lang.String key

name

java.lang.String name

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActionsForOCCLEditor.ExitAction extends javax.swing.AbstractAction implements Serializable

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActionsForOCCLEditor.FontStyleAction extends javax.swing.AbstractAction implements Serializable

Serialized Fields

bold

boolean bold

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActionsForOCCLEditor.GridColorAction extends javax.swing.AbstractAction implements Serializable

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActionsForOCCLEditor.GridStyleAction extends javax.swing.AbstractAction implements Serializable

Serialized Fields

style

int style

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActionsForOCCLEditor.HistoryAction extends javax.swing.AbstractAction implements Serializable

Serialized Fields

undo

boolean undo

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActionsForOCCLEditor.ImportAction extends javax.swing.AbstractAction implements Serializable

Serialized Fields

lastDir

java.lang.String lastDir

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActionsForOCCLEditor.KeyValueAction extends javax.swing.AbstractAction implements Serializable

Serialized Fields

key

java.lang.String key

value

java.lang.String value

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActionsForOCCLEditor.NewAction extends javax.swing.AbstractAction implements Serializable

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActionsForOCCLEditor.OpenAction extends javax.swing.AbstractAction implements Serializable

Serialized Fields

lastDir

java.lang.String lastDir

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActionsForOCCLEditor.PageBackgroundAction extends javax.swing.AbstractAction implements Serializable

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActionsForOCCLEditor.PageSetupAction extends javax.swing.AbstractAction implements Serializable

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActionsForOCCLEditor.PrintAction extends javax.swing.AbstractAction implements Serializable

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActionsForOCCLEditor.PromptPropertyAction extends javax.swing.AbstractAction implements Serializable

Serialized Fields

fieldname

java.lang.String fieldname

message

java.lang.String message

target

java.lang.Object target

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActionsForOCCLEditor.PromptValueAction extends javax.swing.AbstractAction implements Serializable

Serialized Fields

key

java.lang.String key

message

java.lang.String message

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActionsForOCCLEditor.SaveAction extends javax.swing.AbstractAction implements Serializable

Serialized Fields

lastDir

java.lang.String lastDir

showDialog

boolean showDialog

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActionsForOCCLEditor.ScaleAction extends javax.swing.AbstractAction implements Serializable

Serialized Fields

scale

double scale

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActionsForOCCLEditor.SelectShortestPathAction extends javax.swing.AbstractAction implements Serializable

Serialized Fields

directed

boolean directed

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActionsForOCCLEditor.SelectSpanningTreeAction extends javax.swing.AbstractAction implements Serializable

Serialized Fields

directed

boolean directed

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActionsForOCCLEditor.SetLabelPositionAction extends javax.swing.AbstractAction implements Serializable

Serialized Fields

alignment

java.lang.String alignment

labelPosition

java.lang.String labelPosition

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActionsForOCCLEditor.SetStyleAction extends javax.swing.AbstractAction implements Serializable

Serialized Fields

value

java.lang.String value

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActionsForOCCLEditor.StyleAction extends javax.swing.AbstractAction implements Serializable

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActionsForOCCLEditor.StylesheetAction extends javax.swing.AbstractAction implements Serializable

Serialized Fields

stylesheet

java.lang.String stylesheet

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActionsForOCCLEditor.ToggleAction extends javax.swing.AbstractAction implements Serializable

Serialized Fields

defaultValue

boolean defaultValue

key

java.lang.String key

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActionsForOCCLEditor.ToggleConnectModeAction extends javax.swing.AbstractAction implements Serializable

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActionsForOCCLEditor.ToggleCreateTargetItem extends javax.swing.JCheckBoxMenuItem implements Serializable

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActionsForOCCLEditor.ToggleDirtyAction extends javax.swing.AbstractAction implements Serializable

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActionsForOCCLEditor.ToggleGridItem extends javax.swing.JCheckBoxMenuItem implements Serializable

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActionsForOCCLEditor.ToggleOutlineItem extends javax.swing.JCheckBoxMenuItem implements Serializable

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActionsForOCCLEditor.TogglePropertyItem extends javax.swing.JCheckBoxMenuItem implements Serializable

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActionsForOCCLEditor.ToggleRulersItem extends javax.swing.JCheckBoxMenuItem implements Serializable

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActionsForOCCLEditor.WarningAction extends javax.swing.AbstractAction implements Serializable

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorActionsForOCCLEditor.ZoomPolicyAction extends javax.swing.AbstractAction implements Serializable

Serialized Fields

zoomPolicy

int zoomPolicy

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorMenuBar extends javax.swing.JMenuBar implements Serializable

serialVersionUID:

4060203894740766714L

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorMenuBar.AnalyzeGraph extends javax.swing.AbstractAction implements Serializable

serialVersionUID:

6926170745240507985L

Serialized Fields

aGraph

mxAnalysisGraph aGraph

analyzeType

EditorMenuBar.AnalyzeType analyzeType

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorMenuBar.InsertGraph extends javax.swing.AbstractAction implements Serializable

serialVersionUID:

4010463992665008365L

Serialized Fields

aGraph

mxAnalysisGraph aGraph

graphType

mxGraphProperties.GraphType graphType

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorPalette extends javax.swing.JPanel implements Serializable

serialVersionUID:

7771113885935187066L

Serialized Fields

eventSource

mxEventSource eventSource

gradientColor

java.awt.Color gradientColor

selectedEntry

javax.swing.JLabel selectedEntry

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorPopupMenu extends javax.swing.JPopupMenu implements Serializable

serialVersionUID:

-3132749140550242191L

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorRuler extends javax.swing.JComponent implements Serializable

serialVersionUID:

-6310912355878668096L

Serialized Fields

activelength

int activelength

Specified that start and length of the active region, ie the region to paint with the background border. This is used for example to indicate the printable region of a graph.

activeoffset

int activeoffset

Specified that start and length of the active region, ie the region to paint with the background border. This is used for example to indicate the printable region of a graph.

graphComponent

mxGraphComponent graphComponent

Reference to the attached graph.

inactiveBackground

java.awt.Color inactiveBackground

Defines the inactive background border. Default is a not-so-dark gray.

increment

double increment

Parameters to control the display.

labelFont

java.awt.Font labelFont

metric

boolean metric

Specifies the unit system. Default is JGraphEditorDiagramPane#DEFAULT_ISMETRIC.

mouse

java.awt.Point mouse

Holds the current and first mouse point.

orientation

int orientation

Specifies the orientation.

rulerSize

int rulerSize

Specifies height or width of the ruler. Default is 15 pixels.

scale

double scale

Specifies the scale for the metrics. Default is JGraphEditorDiagramPane#DEFAULT_PAGESCALE.

tickDistance

int tickDistance

Specifies the minimum distance between two major ticks. Default is 30.

units

double units

Parameters to control the display.

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.EditorToolBar extends javax.swing.JToolBar implements Serializable

serialVersionUID:

-8015443128436394471L

Serialized Fields

activityCombo

javax.swing.JComboBox<java.lang.String> activityCombo

edgeStyleCombo

javax.swing.JComboBox<java.lang.String> edgeStyleCombo

ignoreZoomChange

boolean ignoreZoomChange

sourceAlwaysCombo

javax.swing.JComboBox<java.lang.String> sourceAlwaysCombo

sourceEventuallyCombo

javax.swing.JComboBox<java.lang.String> sourceEventuallyCombo

targetAlwaysCombo

javax.swing.JComboBox<java.lang.String> targetAlwaysCombo

targetEventuallyCombo

javax.swing.JComboBox<java.lang.String> targetEventuallyCombo

zoomCombo

javax.swing.JComboBox<java.lang.String> zoomCombo

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.GraphConfigDialog extends javax.swing.JDialog implements Serializable

serialVersionUID:

1535851135077957959L

Serialized Fields

aGraph

mxAnalysisGraph aGraph

allowMultipleEdges

boolean allowMultipleEdges

If set, parallel edges are allowed during graph generation

allowSelfLoops

boolean allowSelfLoops

If set, self-loops are allowed during graph generation

arrows

boolean arrows

If set, arrowheads are drawn

arrowsBox

javax.swing.JCheckBox arrowsBox

endVertexValue

int endVertexValue

The end vertex (by value) for various algorithms (mostly pathfinding)

endVertexValueField

javax.swing.JTextField endVertexValueField

forceConnected

boolean forceConnected

If set, the generated graph will be always connected

forceConnectedBox

javax.swing.JCheckBox forceConnectedBox

graph

mxGraph graph

graphType

mxGraphProperties.GraphType graphType

gridSpacing

float gridSpacing

Grid spacing for a grid graph

gridSpacingField

javax.swing.JTextField gridSpacingField

groupSpacing

float groupSpacing

Spacing for groups in a bipartite graph

groupSpacingField

javax.swing.JTextField groupSpacingField

insertGraph

boolean insertGraph

maxTreeNodeChildren

javax.swing.JTextField maxTreeNodeChildren

maxWeight

int maxWeight

maxWeightField

javax.swing.JTextField maxWeightField

minWeight

int minWeight

minWeightField

javax.swing.JTextField minWeightField

multipleEdgeBox

javax.swing.JCheckBox multipleEdgeBox

numBranches

int numBranches

numBranchesField

javax.swing.JTextField numBranchesField

numColumns

int numColumns

Number of columns for a grid graph

numColumnsField

javax.swing.JTextField numColumnsField

numEdges

int numEdges

Number of edges

numEdgesField

javax.swing.JTextField numEdgesField

numNodes

int numNodes

Number of nodes

numNodesField

javax.swing.JTextField numNodesField

numRows

int numRows

Number of rows for a grid graph

numRowsField

javax.swing.JTextField numRowsField

numVertexesInBranch

int numVertexesInBranch

numVertexesInBranchField

javax.swing.JTextField numVertexesInBranchField

numVertexesLeft

int numVertexesLeft

Number of vertexes for the left group in a bipartite graph

numVertexesLeftField

javax.swing.JTextField numVertexesLeftField

numVertexesRight

int numVertexesRight

Number of vertexes for the right group in a bipartite graph

numVertexesRightField

javax.swing.JTextField numVertexesRightField

selfLoopBox

javax.swing.JCheckBox selfLoopBox

startVertexValue

int startVertexValue

The start vertex (by value) for various algorithms

startVertexValueField

javax.swing.JTextField startVertexValueField

valence

int valence

Valence

valenceField

javax.swing.JTextField valenceField

weighted

boolean weighted

weightedBox

javax.swing.JCheckBox weightedBox

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.objEditorPalette extends javax.swing.JPanel implements Serializable

serialVersionUID:

7771113885935187066L

Serialized Fields

eventSource

mxEventSource eventSource

gradientColor

java.awt.Color gradientColor

selectedEntry

javax.swing.JLabel selectedEntry

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.PerformanceEditorPalette extends javax.swing.JPanel implements Serializable

serialVersionUID:

7771113885935187066L

Serialized Fields

eventSource

mxEventSource eventSource

gradientColor

java.awt.Color gradientColor

selectedEntry

javax.swing.JLabel selectedEntry

Class org.processmining.objectcentricconstraintchecking.algorithms.editor.ShadowBorder extends java.lang.Object implements Serializable

serialVersionUID:

6854989457150641240L

Serialized Fields

insets

java.awt.Insets insets

Package org.processmining.objectcentricconstraintchecking.algorithms.layout.hierarchical.model

Class org.processmining.objectcentricconstraintchecking.algorithms.layout.hierarchical.model.mxGraphHierarchyRank extends java.util.LinkedHashSet<mxGraphAbstractHierarchyCell> implements Serializable

serialVersionUID:

-2781491210687143878L

Package org.processmining.objectcentricconstraintchecking.algorithms.layout.hierarchical.stage

Class org.processmining.objectcentricconstraintchecking.algorithms.layout.hierarchical.stage.mxCoordinateAssignment.AreaSpatialCache extends java.awt.geom.Rectangle2D.Double implements Serializable

Serialized Fields

cells

java.util.Set<java.lang.Object> cells

Package org.processmining.objectcentricconstraintchecking.algorithms.model

Class org.processmining.objectcentricconstraintchecking.algorithms.model.mxCell extends java.lang.Object implements Serializable

serialVersionUID:

910211337632342672L

Serialized Fields

children

java.util.List<java.lang.Object> children

Holds the child cells and connected edges.

collapsed

boolean collapsed

Specifies whether the cell is a vertex or edge and whether it is connectable, visible and collapsed. Default values are false, false, true, true and false respectively.

connectable

boolean connectable

Specifies whether the cell is a vertex or edge and whether it is connectable, visible and collapsed. Default values are false, false, true, true and false respectively.

edge

boolean edge

Specifies whether the cell is a vertex or edge and whether it is connectable, visible and collapsed. Default values are false, false, true, true and false respectively.

edges

java.util.List<java.lang.Object> edges

Holds the child cells and connected edges.

geometry

mxGeometry geometry

Holds the geometry. Default is null.

id

java.lang.String id

Holds the Id. Default is null.

parent

mxICell parent

Reference to the parent cell and source and target terminals for edges.

source

mxICell source

Reference to the parent cell and source and target terminals for edges.

style

java.lang.String style

Holds the style as a string of the form stylename[;key=value]. Default is null.

target

mxICell target

Reference to the parent cell and source and target terminals for edges.

tip

java.lang.String tip

Holds the Tip. Default is null.

type

java.lang.String type

Holds the type. Default is null.

value

java.lang.Object value

Holds the user object. Default is null.

vertex

boolean vertex

Specifies whether the cell is a vertex or edge and whether it is connectable, visible and collapsed. Default values are false, false, true, true and false respectively.

visible

boolean visible

Specifies whether the cell is a vertex or edge and whether it is connectable, visible and collapsed. Default values are false, false, true, true and false respectively.

Class org.processmining.objectcentricconstraintchecking.algorithms.model.mxGeometry extends mxRectangle implements Serializable

serialVersionUID:

2649828026610336589L

Serialized Fields

alternateBounds

mxRectangle alternateBounds

Stores alternate values for x, y, width and height in a rectangle. Default is null.

offset

mxPoint offset

Holds the offset of the label for edges. This is the absolute vector between the center of the edge and the top, left point of the label. Default is null.

points

java.util.List<mxPoint> points

List of mxPoints which specifies the control points along the edge. These points are the intermediate points on the edge, for the endpoints use targetPoint and sourcePoint or set the terminals of the edge to a non-null value. Default is null.

relative

boolean relative

Specifies if the coordinates in the geometry are to be interpreted as relative coordinates. Default is false. This is used to mark a geometry with an x- and y-coordinate that is used to describe an edge label position, or a relative location with respect to a parent cell's width and height.

sourcePoint

mxPoint sourcePoint

Defines the source- and target-point of the edge. This is used if the corresponding edge does not have a source vertex. Otherwise it is ignored. Default is null.

targetPoint

mxPoint targetPoint

Defines the source- and target-point of the edge. This is used if the corresponding edge does not have a source vertex. Otherwise it is ignored. Default is null.

Class org.processmining.objectcentricconstraintchecking.algorithms.model.mxGraphModel extends mxEventSource implements Serializable

Serialization Methods

readObject

private void readObject(java.io.ObjectInputStream ois)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException

Initializes the currentEdit field if the model is deserialized.

Throws:

java.io.IOException

java.lang.ClassNotFoundException

Serialized Fields

cells

java.util.Map<java.lang.String,java.lang.Object> cells

Maps from Ids to cells.

createIds

boolean createIds

Specifies if the model should automatically create Ids for new cells. Default is true.

maintainEdgeParent

boolean maintainEdgeParent

Specifies if edges should automatically be moved into the nearest common ancestor of their terminals. Default is true.

nextId

int nextId

Specifies the next Id to be created. Initial value is 0.

root

mxICell root

Holds the root cell, which in turn contains the cells that represent the layers of the diagram as child cells. That is, the actual element of the diagram are supposed to live in the third generation of cells and below.

Package org.processmining.objectcentricconstraintchecking.algorithms.ocel.constraint

Class org.processmining.objectcentricconstraintchecking.algorithms.ocel.constraint.ConstraintWizardStep extends org.processmining.framework.util.ui.widgets.ProMPropertiesPanel implements Serializable

Serialized Fields

cm

ConstraintModel cm

objectTypeList

org.processmining.framework.util.ui.widgets.ProMComboBox<java.lang.String> objectTypeList

ocelLog

OcelEventLog ocelLog

revObjSet

java.util.HashSet<java.lang.String> revObjSet

Class org.processmining.objectcentricconstraintchecking.algorithms.ocel.constraint.GraphEditor extends BasicGraphEditor implements Serializable

serialVersionUID:

-4601740824088314699L

Serialized Fields

aGraph

mxAnalysisGraph aGraph

arrows

boolean arrows

weighted

boolean weighted

Class org.processmining.objectcentricconstraintchecking.algorithms.ocel.constraint.GraphEditor.CustomGraphComponent extends mxGraphComponent implements Serializable

serialVersionUID:

-6833603133512882012L

Class org.processmining.objectcentricconstraintchecking.algorithms.ocel.constraint.OCCMEditor extends javax.swing.JPanel implements Serializable

serialVersionUID:

-6561623072112577140L

Serialized Fields

actPane

javax.swing.JTabbedPane actPane

appTitle

java.lang.String appTitle

changeTracker

mxEventSource.mxIEventListener changeTracker

cm

ConstraintModel cm

constraintJCB

javax.swing.JComboBox<java.lang.String> constraintJCB

currentFile

java.io.File currentFile

graphComponent

mxGraphComponent graphComponent

graphOutline

mxGraphOutline graphOutline

keyboardHandler

mxKeyboardHandlerForOCCLEditor keyboardHandler

modified

boolean modified

Flag indicating whether the current graph has been modified

objPane

javax.swing.JTabbedPane objPane

outer3

javax.swing.JSplitPane outer3

performancePane

javax.swing.JTabbedPane performancePane

restPane

javax.swing.JTabbedPane restPane

resultPanel2

javax.swing.JSplitPane resultPanel2

rubberband

mxRubberband rubberband

selectedObjSet

java.util.HashSet<java.lang.String> selectedObjSet

selectedRow

int selectedRow

statusBar

javax.swing.JLabel statusBar

timer

javax.swing.Timer timer

undoHandler

mxEventSource.mxIEventListener undoHandler

undoManager

mxUndoManager undoManager

violationTablePanel

javax.swing.JPanel violationTablePanel

Class org.processmining.objectcentricconstraintchecking.algorithms.ocel.constraint.OCCMEditor.CustomGraphComponent extends mxGraphComponent implements Serializable

serialVersionUID:

-6833603133512882012L

Package org.processmining.objectcentricconstraintchecking.algorithms.ocel.extraction

Class org.processmining.objectcentricconstraintchecking.algorithms.ocel.extraction.CaseGraph extends javax.swing.JPanel implements Serializable

serialVersionUID:

-6561623072112577140L

Serialized Fields

aGraph

mxAnalysisGraph aGraph

appTitle

java.lang.String appTitle

bar

javax.swing.JProgressBar bar

changeTracker

mxEventSource.mxIEventListener changeTracker

cm

ConstraintModel cm

colorMap

java.lang.String[] colorMap

currentFile

java.io.File currentFile

graphComponent

mxGraphComponent graphComponent

graphOutline

mxGraphOutline graphOutline

keyboardHandler

mxKeyboardHandlerForOCCLEditor keyboardHandler

modified

boolean modified

Flag indicating whether the current graph has been modified

processExecutionPane

javax.swing.JTabbedPane processExecutionPane

rubberband

mxRubberband rubberband

selectedObjSet

java.util.HashSet<java.lang.String> selectedObjSet

selectedRow

int selectedRow

statusBar

javax.swing.JLabel statusBar

undoHandler

mxEventSource.mxIEventListener undoHandler

undoManager

mxUndoManager undoManager

violationTablePanel

javax.swing.JPanel violationTablePanel

Class org.processmining.objectcentricconstraintchecking.algorithms.ocel.extraction.CaseGraph.CustomGraphComponent extends mxGraphComponent implements Serializable

serialVersionUID:

-6833603133512882012L

Class org.processmining.objectcentricconstraintchecking.algorithms.ocel.extraction.ExtractionWizardStep extends org.processmining.framework.util.ui.widgets.ProMPropertiesPanel implements Serializable

Serialized Fields

cm

PEModel cm

objectTypeList

org.processmining.framework.util.ui.widgets.ProMComboBox<java.lang.String> objectTypeList

ocelLog

OcelEventLog ocelLog

revObjSet

java.util.HashSet<java.lang.String> revObjSet

Class org.processmining.objectcentricconstraintchecking.algorithms.ocel.extraction.ProcessExecutionPanel extends javax.swing.JPanel implements Serializable

serialVersionUID:

-6561623072112577140L

Serialized Fields

actPane

javax.swing.JTabbedPane actPane

appTitle

java.lang.String appTitle

changeTracker

mxEventSource.mxIEventListener changeTracker

colorIdx

int colorIdx

colorLst

java.util.List<java.lang.String> colorLst

currentFile

java.io.File currentFile

graphComponent

mxGraphComponent graphComponent

graphOutline

mxGraphOutline graphOutline

keyboardHandler

mxKeyboardHandlerForOCCLEditor keyboardHandler

modified

boolean modified

Flag indicating whether the current graph has been modified

objPane

javax.swing.JTabbedPane objPane

objToColorMap

java.util.Map<java.lang.String,java.util.Map<java.lang.String,java.lang.String>> objToColorMap

outer3

javax.swing.JSplitPane outer3

pem

PEModel pem

performancePane

javax.swing.JTabbedPane performancePane

restPane

javax.swing.JTabbedPane restPane

rubberband

mxRubberband rubberband

selectedObjSet

java.util.HashSet<java.lang.String> selectedObjSet

selectedRow

int selectedRow

statusBar

javax.swing.JLabel statusBar

timer

javax.swing.Timer timer

undoHandler

mxEventSource.mxIEventListener undoHandler

undoManager

mxUndoManager undoManager

violationTablePanel

javax.swing.JPanel violationTablePanel

Class org.processmining.objectcentricconstraintchecking.algorithms.ocel.extraction.ProcessExecutionPanel.CustomGraphComponent extends mxGraphComponent implements Serializable

serialVersionUID:

-6833603133512882012L

Package org.processmining.objectcentricconstraintchecking.algorithms.ocel.importers

Class org.processmining.objectcentricconstraintchecking.algorithms.ocel.importers.CSVInputStep1 extends org.processmining.framework.util.ui.widgets.ProMPropertiesPanel implements Serializable

Serialized Fields

newLineChars

org.processmining.framework.util.ui.widgets.ProMTextField newLineChars

quotechars

org.processmining.framework.util.ui.widgets.ProMTextField quotechars

separator

org.processmining.framework.util.ui.widgets.ProMTextField separator

Class org.processmining.objectcentricconstraintchecking.algorithms.ocel.importers.CSVInputStep2 extends org.processmining.framework.util.ui.widgets.ProMPropertiesPanel implements Serializable

Serialized Fields

columnMappings

java.util.Map<java.lang.Integer,org.processmining.framework.util.ui.widgets.ProMComboBox<java.lang.String>> columnMappings

possibleValues

java.util.List<java.lang.String> possibleValues

Package org.processmining.objectcentricconstraintchecking.algorithms.ocel.occl

Class org.processmining.objectcentricconstraintchecking.algorithms.ocel.occl.GraphEditor extends BasicGraphEditor implements Serializable

serialVersionUID:

-4601740824088314699L

Serialized Fields

aGraph

mxAnalysisGraph aGraph

arrows

boolean arrows

orangeColorList

java.util.HashSet orangeColorList

weighted

boolean weighted

Class org.processmining.objectcentricconstraintchecking.algorithms.ocel.occl.GraphEditor.CustomGraphComponent extends mxGraphComponent implements Serializable

serialVersionUID:

-6833603133512882012L

Package org.processmining.objectcentricconstraintchecking.algorithms.swing

Class org.processmining.objectcentricconstraintchecking.algorithms.swing.mxGraphComponent extends javax.swing.JScrollPane implements Serializable

serialVersionUID:

-30203858391633447L

Serialized Fields

antiAlias

boolean antiAlias

autoExtend

boolean autoExtend

Whether to extend the graph bounds and scroll towards the limit of those new bounds in the direction of mouse travel if a handler is active while the mouse leaves the container that the graph exists in.

autoScroll

boolean autoScroll

Whether or not to scroll the scrollable container the graph exists in if a suitable handler is active and the graph bounds already exist extended in the direction of mouse travel.

backgroundImage

javax.swing.ImageIcon backgroundImage

Specifies the to be returned by . Default is null.

canvas

mxInteractiveCanvas canvas

cellEditor

mxICellEditor cellEditor

centerPage

boolean centerPage

Specifies if the background page should be centered by automatically setting the translate in the view. Default is true. This does only apply if pageVisible is true.

centerZoom

boolean centerZoom

Specifies if the zoom operations should go into the center of the actual diagram rather than going from top, left. Default is true.

collapsedIcon

javax.swing.ImageIcon collapsedIcon

components

java.util.Hashtable<java.lang.Object,java.awt.Component[]> components

Maps from cells to lists of heavyweights.

connectionHandler

mxConnectionHandler connectionHandler

dragEnabled

boolean dragEnabled

enterStopsCellEditing

boolean enterStopsCellEditing

If true, pressing the enter key without pressing control will stop editing and accept the new value. This is used in to stop cell editing. Default is false.

escapeEnabled

boolean escapeEnabled

Specifies should be invoked when the escape key is pressed. Default is true.

eventSource

mxEventSource eventSource

expandedIcon

javax.swing.ImageIcon expandedIcon

exportEnabled

boolean exportEnabled

foldingEnabled

boolean foldingEnabled

Specifies if folding (collapse and expand via an image icon in the graph should be enabled). Default is true.

graph

mxGraph graph

graphControl

mxGraphComponent.mxGraphControl graphControl

graphHandler

mxGraphHandler graphHandler

gridColor

java.awt.Color gridColor

gridStyle

int gridStyle

gridVisible

boolean gridVisible

Specifies if the grid is visible. Default is false.

horizontalPageCount

int horizontalPageCount

Specifies the number of pages in the horizontal direction.

importEnabled

boolean importEnabled

invokesStopCellEditing

boolean invokesStopCellEditing

If true, when editing is to be stopped by way of selection changing, data in diagram changing or other means stopCellEditing is invoked, and changes are saved. This is implemented in a mouse listener in this class. Default is true.

keepSelectionVisibleOnZoom

boolean keepSelectionVisibleOnZoom

Specifies if the viewport should automatically contain the selection cells after a zoom operation. Default is false.

overlays

java.util.Hashtable<java.lang.Object,mxICellOverlay[]> overlays

Maps from cells to lists of overlays.

pageBackgroundColor

java.awt.Color pageBackgroundColor

Color of the background area if layout view.

pageBorderColor

java.awt.Color pageBorderColor

pageBreakColor

java.awt.Color pageBreakColor

Specifies the color of page breaks

pageBreaksVisible

boolean pageBreaksVisible

Specifies if a dashed line should be drawn between multiple pages.

pageFormat

java.awt.print.PageFormat pageFormat

Background page format.

pageScale

double pageScale

Defines the scaling for the background page metrics. Default is mxGraphComponent.DEFAULT_PAGESCALE.

pageShadowColor

java.awt.Color pageShadowColor

pageVisible

boolean pageVisible

Specifies if the background page should be visible. Default is false.

panningHandler

mxPanningHandler panningHandler

preferPageSize

boolean preferPageSize

If the pageFormat should be used to determine the minimal graph bounds even if the page is not visible (see pageVisible). Default is false.

previewAlpha

float previewAlpha

The transparency of previewed cells from 0.0. to 0.1. 0.0 indicates transparent, 1.0 indicates opaque. Default is 1.

repaintHandler

mxEventSource.mxIEventListener repaintHandler

scaleHandler

mxEventSource.mxIEventListener scaleHandler

Resets the zoom policy if the scale is changed manually.

selectionCellsHandler

mxSelectionCellsHandler selectionCellsHandler

showDirtyRectangle

boolean showDirtyRectangle

Used for debugging the dirty region.

swimlaneSelectionEnabled

boolean swimlaneSelectionEnabled

Specifies if swimlanes are selected when the mouse is released over the swimlanes content area. Default is true.

textAntiAlias

boolean textAntiAlias

tolerance

int tolerance

Specifies the tolerance for mouse clicks. Default is 4.

transparentSwimlaneContent

boolean transparentSwimlaneContent

Specifies if the content area should be transparent to events. Default is true.

tripleBuffer

java.awt.image.BufferedImage tripleBuffer

tripleBuffered

boolean tripleBuffered

Specifies if an image buffer should be used for painting the component. Default is false.

tripleBufferGraphics

java.awt.Graphics2D tripleBufferGraphics

updateHandler

mxEventSource.mxIEventListener updateHandler

Updates the heavyweight component structure after any changes.

verticalPageCount

int verticalPageCount

Specifies the number of pages in the vertical direction.

viewChangeHandler

java.beans.PropertyChangeListener viewChangeHandler

warningIcon

javax.swing.ImageIcon warningIcon

zoomFactor

double zoomFactor

Specifies the factor used for zoomIn and zoomOut. Default is 1.2 (120%).

zoomPolicy

int zoomPolicy

Specifies the zoom policy. Default is ZOOM_POLICY_PAGE. The zoom policy does only apply if pageVisible is true.

Class org.processmining.objectcentricconstraintchecking.algorithms.swing.mxGraphComponent.mxGraphControl extends javax.swing.JComponent implements Serializable

serialVersionUID:

-8916603170766739124L

Serialized Fields

translate

java.awt.Point translate

Specifies a translation for painting. This should only be used during mouse drags and must be reset after any interactive repaints. Default is (0,0). This should not be null.

Class org.processmining.objectcentricconstraintchecking.algorithms.swing.mxGraphOutline extends javax.swing.JComponent implements Serializable

serialVersionUID:

-2521103946905154267L

Serialized Fields

adjustmentHandler

java.awt.event.AdjustmentListener adjustmentHandler

antiAlias

boolean antiAlias

componentHandler

java.awt.event.ComponentListener componentHandler

drawLabels

boolean drawLabels

finderBounds

java.awt.Rectangle finderBounds

finderVisible

boolean finderVisible

fitPage

boolean fitPage

Specifies if the outline should be zoomed to the page if the graph component is in page layout mode. Default is true.

graphComponent

mxGraphComponent graphComponent

outlineBorder

int outlineBorder

Not yet implemented. Border to add around the page bounds if wholePage is true. Default is 4.

repaintBuffer

boolean repaintBuffer

True if the triple buffer needs a full repaint.

repaintClip

mxRectangle repaintClip

Clip of the triple buffer to be repainted.

repaintHandler

mxEventSource.mxIEventListener repaintHandler

scale

double scale

tracker

mxGraphOutline.MouseTracker tracker

translate

java.awt.Point translate

tripleBuffer

java.awt.image.BufferedImage tripleBuffer

TODO: Not yet implemented.

tripleBuffered

boolean tripleBuffered

tripleBufferGraphics

java.awt.Graphics2D tripleBufferGraphics

Holds the graphics of the triple buffer.

useScaledInstance

boolean useScaledInstance

zoomHandleLocation

java.awt.Point zoomHandleLocation

zoomHandleVisible

boolean zoomHandleVisible

Package org.processmining.objectcentricconstraintchecking.algorithms.swing.handler

Class org.processmining.objectcentricconstraintchecking.algorithms.swing.handler.mxCellMarker extends javax.swing.JComponent implements Serializable

serialVersionUID:

614473367053597572L

Serialized Fields

enabled

boolean enabled

Specifies if the marker is enabled. Default is true.

eventSource

mxEventSource eventSource

Holds the event source.

graphComponent

mxGraphComponent graphComponent

Holds the enclosing graph component.

hotspot

double hotspot

Specifies the portion of the width and height that should trigger a highlight. The area around the center of the cell to be marked is used as the hotspot. Possible values are between 0 and 1. Default is mxConstants.DEFAULT_HOTSPOT.

hotspotEnabled

boolean hotspotEnabled

Specifies if the hotspot is enabled. Default is false.

invalidColor

java.awt.Color invalidColor

Specifies the valid- and invalidColor for the marker.

swimlaneContentEnabled

boolean swimlaneContentEnabled

Specifies if the the content area of swimlane should be non-transparent to mouse events. Default is false.

validColor

java.awt.Color validColor

Specifies the valid- and invalidColor for the marker.

Class org.processmining.objectcentricconstraintchecking.algorithms.swing.handler.mxCellTracker extends mxCellMarker implements Serializable

serialVersionUID:

7372144804885125688L

Class org.processmining.objectcentricconstraintchecking.algorithms.swing.handler.mxGraphTransferHandler extends javax.swing.TransferHandler implements Serializable

serialVersionUID:

-6443287704811197675L

Serialized Fields

importCount

int importCount

Counter for the last imported cell array.

initialImportCount

int initialImportCount

Sets the value for the initialImportCount. Default is 1. Updated in exportDone to contain 0 after a cut and 1 after a copy.

lastImported

java.awt.datatransfer.Transferable lastImported

Reference to the last imported cell array.

location

java.awt.Point location

offset

java.awt.Point offset

originalCells

java.lang.Object[] originalCells

Reference to the original cells for removal after a move.

transferImageBackground

java.awt.Color transferImageBackground

Specifies the background color for the transfer image. Default is DEFAULT_BACKGROUNDCOLOR.

transferImageEnabled

boolean transferImageEnabled

Specifies if a transfer image should be created for the transferable. Default is DEFAULT_TRANSFER_IMAGE.

Package org.processmining.objectcentricconstraintchecking.algorithms.swing.util

Class org.processmining.objectcentricconstraintchecking.algorithms.swing.util.mxCellOverlay extends javax.swing.JComponent implements Serializable

serialVersionUID:

921991820491141221L

Serialized Fields

align

java.lang.Object align

Holds the horizontal alignment for the overlay. Default is ALIGN_RIGHT. For edges, the overlay always appears in the center of the edge.

defaultOverlap

double defaultOverlap

Defines the overlapping for the overlay, that is, the proportional distance from the origin to the point defined by the alignment. Default is 0.5.

imageIcon

javax.swing.ImageIcon imageIcon

verticalAlign

java.lang.Object verticalAlign

Holds the vertical alignment for the overlay. Default is bottom. For edges, the overlay always appears in the center of the edge.

Class org.processmining.objectcentricconstraintchecking.algorithms.swing.util.mxGraphActions.DeleteAction extends javax.swing.AbstractAction implements Serializable

serialVersionUID:

-8212339796803275529L

Class org.processmining.objectcentricconstraintchecking.algorithms.swing.util.mxGraphActions.DrillAction extends javax.swing.AbstractAction implements Serializable

serialVersionUID:

5464382323663870291L

Class org.processmining.objectcentricconstraintchecking.algorithms.swing.util.mxGraphActions.EditAction extends javax.swing.AbstractAction implements Serializable

serialVersionUID:

4610112721356742702L

Class org.processmining.objectcentricconstraintchecking.algorithms.swing.util.mxGraphActions.FoldAction extends javax.swing.AbstractAction implements Serializable

serialVersionUID:

4078517503905239901L

Class org.processmining.objectcentricconstraintchecking.algorithms.swing.util.mxGraphActions.GroupAction extends javax.swing.AbstractAction implements Serializable

serialVersionUID:

-4718086600089409092L

Class org.processmining.objectcentricconstraintchecking.algorithms.swing.util.mxGraphActions.LayerAction extends javax.swing.AbstractAction implements Serializable

serialVersionUID:

562519299806253741L

Class org.processmining.objectcentricconstraintchecking.algorithms.swing.util.mxGraphActions.RemoveFromParentAction extends javax.swing.AbstractAction implements Serializable

serialVersionUID:

7169443038859140811L

Class org.processmining.objectcentricconstraintchecking.algorithms.swing.util.mxGraphActions.SelectAction extends javax.swing.AbstractAction implements Serializable

serialVersionUID:

6501585024845668187L

Class org.processmining.objectcentricconstraintchecking.algorithms.swing.util.mxGraphActions.UngroupAction extends javax.swing.AbstractAction implements Serializable

serialVersionUID:

2247770767961318251L

Class org.processmining.objectcentricconstraintchecking.algorithms.swing.util.mxGraphActions.UpdateGroupBoundsAction extends javax.swing.AbstractAction implements Serializable

serialVersionUID:

-4718086600089409092L

Class org.processmining.objectcentricconstraintchecking.algorithms.swing.util.mxGraphActions.ZoomAction extends javax.swing.AbstractAction implements Serializable

serialVersionUID:

-7500195051313272384L

Class org.processmining.objectcentricconstraintchecking.algorithms.swing.util.mxGraphActionsForOCCLEditor.DeleteAction extends javax.swing.AbstractAction implements Serializable

serialVersionUID:

-8212339796803275529L

Class org.processmining.objectcentricconstraintchecking.algorithms.swing.util.mxGraphActionsForOCCLEditor.DrillAction extends javax.swing.AbstractAction implements Serializable

serialVersionUID:

5464382323663870291L

Class org.processmining.objectcentricconstraintchecking.algorithms.swing.util.mxGraphActionsForOCCLEditor.EditAction extends javax.swing.AbstractAction implements Serializable

serialVersionUID:

4610112721356742702L

Class org.processmining.objectcentricconstraintchecking.algorithms.swing.util.mxGraphActionsForOCCLEditor.FoldAction extends javax.swing.AbstractAction implements Serializable

serialVersionUID:

4078517503905239901L

Class org.processmining.objectcentricconstraintchecking.algorithms.swing.util.mxGraphActionsForOCCLEditor.GroupAction extends javax.swing.AbstractAction implements Serializable

serialVersionUID:

-4718086600089409092L

Class org.processmining.objectcentricconstraintchecking.algorithms.swing.util.mxGraphActionsForOCCLEditor.LayerAction extends javax.swing.AbstractAction implements Serializable

serialVersionUID:

562519299806253741L

Class org.processmining.objectcentricconstraintchecking.algorithms.swing.util.mxGraphActionsForOCCLEditor.RemoveFromParentAction extends javax.swing.AbstractAction implements Serializable

serialVersionUID:

7169443038859140811L

Class org.processmining.objectcentricconstraintchecking.algorithms.swing.util.mxGraphActionsForOCCLEditor.SelectAction extends javax.swing.AbstractAction implements Serializable

serialVersionUID:

6501585024845668187L

Class org.processmining.objectcentricconstraintchecking.algorithms.swing.util.mxGraphActionsForOCCLEditor.UngroupAction extends javax.swing.AbstractAction implements Serializable

serialVersionUID:

2247770767961318251L

Class org.processmining.objectcentricconstraintchecking.algorithms.swing.util.mxGraphActionsForOCCLEditor.UpdateGroupBoundsAction extends javax.swing.AbstractAction implements Serializable

serialVersionUID:

-4718086600089409092L

Class org.processmining.objectcentricconstraintchecking.algorithms.swing.util.mxGraphActionsForOCCLEditor.ZoomAction extends javax.swing.AbstractAction implements Serializable

serialVersionUID:

-7500195051313272384L

Class org.processmining.objectcentricconstraintchecking.algorithms.swing.util.mxGraphTransferable extends java.lang.Object implements Serializable

serialVersionUID:

5123819419918087664L

Serialized Fields

bounds

mxRectangle bounds

cells

java.lang.Object[] cells

image

javax.swing.ImageIcon image

Package org.processmining.objectcentricconstraintchecking.algorithms.util

Class org.processmining.objectcentricconstraintchecking.algorithms.util.mxImage extends java.lang.Object implements Serializable

serialVersionUID:

8541229679513497585L

Serialized Fields

height

int height

Holds the image width and height.

src

java.lang.String src

Holds the path or URL for the image.

width

int width

Holds the image width and height.

Class org.processmining.objectcentricconstraintchecking.algorithms.util.mxLightweightLabel extends javax.swing.JLabel implements Serializable

serialVersionUID:

-6771477489533614010L

Class org.processmining.objectcentricconstraintchecking.algorithms.util.mxLine extends mxPoint implements Serializable

serialVersionUID:

-4730972599169158546L

Serialized Fields

endPoint

mxPoint endPoint

The end point of the line

Class org.processmining.objectcentricconstraintchecking.algorithms.util.mxPoint extends java.lang.Object implements Serializable

serialVersionUID:

6554231393215892186L

Serialized Fields

x

double x

Holds the x- and y-coordinates of the point. Default is 0.

y

double y

Holds the x- and y-coordinates of the point. Default is 0.

Class org.processmining.objectcentricconstraintchecking.algorithms.util.mxRectangle extends mxPoint implements Serializable

serialVersionUID:

-3793966043543578946L

Serialized Fields

height

double height

Holds the width and the height. Default is 0.

width

double width

Holds the width and the height. Default is 0.

Package org.processmining.objectcentricconstraintchecking.algorithms.util.png

Class org.processmining.objectcentricconstraintchecking.algorithms.util.png.mxPngSuggestedPaletteEntry extends java.lang.Object implements Serializable

serialVersionUID:

-8711686482529372447L

Serialized Fields

alpha

int alpha

The alpha opacity value of the entry.

blue

int blue

The blue color value of the entry.

frequency

int frequency

The probable frequency of the color in the image.

green

int green

The green color value of the entry.

name

java.lang.String name

The name of the entry.

red

int red

The red color value of the entry.

sampleDepth

int sampleDepth

The depth of the color samples.

Package org.processmining.objectcentricconstraintchecking.algorithms.util.svg

Class org.processmining.objectcentricconstraintchecking.algorithms.util.svg.ParseException extends java.lang.RuntimeException implements Serializable

Serialized Fields

columnNumber

int columnNumber

The column number.

exception

java.lang.Exception exception

The embedded exception if tunnelling, or null.

lineNumber

int lineNumber

The line number.

Package org.processmining.objectcentricconstraintchecking.algorithms.view

Class org.processmining.objectcentricconstraintchecking.algorithms.view.mxCellState extends mxRectangle implements Serializable

serialVersionUID:

7588335615324083354L

Serialized Fields

absoluteOffset

mxPoint absoluteOffset

Holds the absolute offset. For edges, this is the absolute coordinates of the label position. For vertices, this is the offset of the label relative to the top, left corner of the vertex.

absolutePoints

java.util.List<mxPoint> absolutePoints

List of mxPoints that represent the absolute points of an edge.

boundingBox

mxRectangle boundingBox

Holds the largest rectangle which contains all rendering for this cell.

cell

java.lang.Object cell

Reference to the cell that is represented by this state.

invalid

boolean invalid

Specifies if the state is invalid. Default is true.

label

java.lang.String label

Holds the current label value, including newlines which result from word wrapping.

labelBounds

mxRectangle labelBounds

Holds the rectangle which contains the label.

length

double length

Caches the distance between the end points and the length of an edge.

origin

mxPoint origin

Holds the origin for all child cells.

segments

double[] segments

Array of numbers that represent the cached length of each segment of the edge.

style

java.util.Map<java.lang.String,java.lang.Object> style

Contains an array of key, value pairs that represent the style of the cell.

terminalDistance

double terminalDistance

Caches the distance between the end points and the length of an edge.

view

mxGraphView view

Reference to the enclosing graph view.

visibleSourceState

mxCellState visibleSourceState

Caches the visible source and target terminal states.

visibleTargetState

mxCellState visibleTargetState

Caches the visible source and target terminal states.

Package org.processmining.objectcentricconstraintchecking.dialogs

Class org.processmining.objectcentricconstraintchecking.dialogs.YourDialog extends javax.swing.JPanel implements Serializable

serialVersionUID:

-60087716353524468L