Serialized Form

Package org.kahina.core
- Class org.kahina.core.KahinaException extends java.lang.RuntimeException implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.kahina.core.KahinaState extends java.lang.Object implements Serializable
  
  serialVersionUID:
  
  -1884751676781509811L
  - Serialized Fields
    - consoleMessages
```
KahinaTextModel consoleMessages
```
    - consoleLines
```
java.util.Map<K,V> consoleLines
```
    - warnThresholdByBreakpoint
```
java.util.Map<K,V> warnThresholdByBreakpoint
```
    - matchCountByBreakpoint
```
java.util.Map<K,V> matchCountByBreakpoint
```
    - selectedStepID
```
int selectedStepID
```
    - nextStepID
```
int nextStepID
```
    - kahina
```
KahinaInstance<S extends KahinaState,G extends KahinaGUI,B extends KahinaBridge,P extends KahinaProject> kahina
```
- Class org.kahina.core.KahinaStep extends KahinaObject implements Serializable
  
  serialVersionUID:
  
  7289160962407655124L
Package org.kahina.core.control
- Class org.kahina.core.control.KahinaSimpleProperty extends KahinaStepProperty implements Serializable
  
  serialVersionUID:
  
  -6187900905267803870L
  - Serialized Fields
    - type
```
int type
```
    - rel
```
int rel
```
    - intValue
```
int intValue
```
    - stringValue
```
java.lang.String stringValue
```
    - regexValue
```
java.util.regex.Pattern regexValue
```
    - leftArg
```
KahinaSimpleProperty leftArg
```
    - rightArg
```
KahinaSimpleProperty rightArg
```
Package org.kahina.core.data
- Class org.kahina.core.data.KahinaObject extends java.lang.Object implements Serializable
  
  serialVersionUID:
  
  -262730875988653793L
  - Serialized Fields
    - needsUpdate
```
boolean needsUpdate
```
Package org.kahina.core.data.agent
- Class org.kahina.core.data.agent.KahinaBreakpoint extends KahinaObject implements Serializable
  
  serialVersionUID:
  
  -6754119800163857876L
  - Serialized Fields
    - name
```
java.lang.String name
```
    - active
```
boolean active
```
    - signalColor
```
java.awt.Color signalColor
```
    - pattern
```
TreePattern pattern
```
    - type
```
int type
```
- Class org.kahina.core.data.agent.KahinaBreakpointProfile extends KahinaObject implements Serializable
  - Serialized Fields
    - treeBreakpoints
```
java.util.List<E> treeBreakpoints
```
- Class org.kahina.core.data.agent.KahinaControlAgent extends KahinaObject implements Serializable
  - Serialized Fields
    - kahina
```
LogicProgrammingInstance<S extends LogicProgrammingState,G extends LogicProgrammingGUI,B extends LogicProgrammingBridge,P extends LogicProgrammingProject> kahina
```
    - name
```
java.lang.String name
```
    - active
```
boolean active
```
    - signalColor
```
java.awt.Color signalColor
```
    - sensor
```
KahinaStepPropertySensor sensor
```
    - actuator
```
KahinaControlActuator actuator
```
- Class org.kahina.core.data.agent.KahinaControlAgentProfile extends KahinaObject implements Serializable
  - Serialized Fields
    - controlAgents
```
java.util.List<E> controlAgents
```
    - actuator
```
KahinaControlActuator actuator
```
Package org.kahina.core.data.agent.patterns
- Class org.kahina.core.data.agent.patterns.PatternFormatException extends java.lang.Exception implements Serializable
  - Serialized Fields
    - desiredType
```
java.lang.String desiredType
```
    - badString
```
java.lang.String badString
```
- Class org.kahina.core.data.agent.patterns.TreePattern extends java.lang.Object implements Serializable
  
  serialVersionUID:
  
  -3784645758172474513L
  - Serialized Fields
    - root
```
TreePatternNode root
```
- Class org.kahina.core.data.agent.patterns.TreePatternNode extends java.lang.Object implements Serializable
  
  serialVersionUID:
  
  8431727196172467206L
  - Serialized Fields
    - pattern
```
KahinaSimpleProperty pattern
```
    - parent
```
TreePatternNode parent
```
    - children
```
java.util.List<E> children
```
Package org.kahina.core.data.chart
- Class org.kahina.core.data.chart.KahinaChart extends KahinaObject implements Serializable
  
  serialVersionUID:
  
  -5878453631395737334L
  - Serialized Fields
    - nextEdgeID
```
int nextEdgeID
```
- Class org.kahina.core.data.chart.KahinaMemChart extends KahinaChart implements Serializable
  
  serialVersionUID:
  
  8981755950162448512L
  - Serialized Fields
    - leftBound
```
int leftBound
```
    - rightBound
```
int rightBound
```
    - leftmostCovered
```
int leftmostCovered
```
    - rightmostCovered
```
int rightmostCovered
```
    - segmentCaptions
```
java.util.HashMap<K,V> segmentCaptions
```
    - leftBounds
```
java.util.HashMap<K,V> leftBounds
```
    - rightBounds
```
java.util.HashMap<K,V> rightBounds
```
    - edgeCaptions
```
java.util.HashMap<K,V> edgeCaptions
```
    - status
```
java.util.HashMap<K,V> status
```
    - motherEdges
```
java.util.HashMap<K,V> motherEdges
```
    - daughterEdges
```
java.util.HashMap<K,V> daughterEdges
```
    - dependencyRoots
```
java.util.TreeSet<E> dependencyRoots
```
Package org.kahina.core.data.dag
- Class org.kahina.core.data.dag.ColoredPathDAG extends KahinaMemDAG implements Serializable
  
  serialVersionUID:
  
  -5409083393589686558L
  - Serialized Fields
    - colorPaths
```
java.util.List<E> colorPaths
```
- Class org.kahina.core.data.dag.KahinaDAG extends KahinaObject implements Serializable
  
  serialVersionUID:
  
  4477263548864006864L
- Class org.kahina.core.data.dag.KahinaMemDAG extends KahinaDAG implements Serializable
  
  serialVersionUID:
  
  -7505557494606184493L
  - Serialized Fields
    - roots
```
java.util.Set<E> roots
```
    - incomingEdges
```
java.util.Map<K,V> incomingEdges
```
    - outgoingEdges
```
java.util.Map<K,V> outgoingEdges
```
    - nodeCaptions
```
java.util.Map<K,V> nodeCaptions
```
    - status
```
java.util.Map<K,V> status
```
    - collapsed
```
java.util.Set<E> collapsed
```
    - edgeLabels
```
java.util.Map<K,V> edgeLabels
```
    - startNodes
```
java.util.Map<K,V> startNodes
```
    - endNodes
```
java.util.Map<K,V> endNodes
```
    - nextNodeID
```
int nextNodeID
```
    - nextEdgeID
```
int nextEdgeID
```
Package org.kahina.core.data.graph
- Class org.kahina.core.data.graph.AdjacListsGraph extends KahinaGraph implements Serializable
  - Serialized Fields
    - adjacents
```
java.util.Map<K,V> adjacents
```
    - vertexLabels
```
java.util.Map<K,V> vertexLabels
```
    - vertexStatus
```
java.util.Map<K,V> vertexStatus
```
    - edgeLabels
```
java.util.Map<K,V> edgeLabels
```
    - edgeStatus
```
java.util.Map<K,V> edgeStatus
```
    - nextID
```
int nextID
```
- Class org.kahina.core.data.graph.KahinaGraph extends KahinaObject implements Serializable
Package org.kahina.core.data.project
- Class org.kahina.core.data.project.KahinaProject extends KahinaObject implements Serializable
  - Serialized Fields
    - appID
```
java.lang.String appID
```
    - mainFile
```
java.io.File mainFile
```
    - openedFiles
```
java.util.List<E> openedFiles
```
    - name
```
java.lang.String name
```
    - perspective
```
KahinaPerspective perspective
```
Package org.kahina.core.data.source
- Class org.kahina.core.data.source.KahinaSourceCodeLocation extends KahinaObject implements Serializable
  
  serialVersionUID:
  
  2916702640971956581L
  - Serialized Fields
    - absolutePath
```
java.lang.String absolutePath
```
    - lineNumber
```
int lineNumber
```
- Class org.kahina.core.data.source.KahinaSourceFileModel extends KahinaTextModel implements Serializable
  
  serialVersionUID:
  
  -7203132120383015898L
  - Serialized Fields
    - absolutePathName
```
java.lang.String absolutePathName
```
- Class org.kahina.core.data.source.KahinaSourceFileRegistry extends KahinaObject implements Serializable
  
  serialVersionUID:
  
  6178519108143817440L
  - Serialized Fields
    - models
```
java.util.Map<K,V> models
```
Package org.kahina.core.data.text
- Class org.kahina.core.data.text.KahinaLineReference extends KahinaObject implements Serializable
  
  serialVersionUID:
  
  -7344672902839311198L
  - Serialized Fields
    - text
```
KahinaTextModel text
```
    - line
```
int line
```
    - step
```
int step
```
- Class org.kahina.core.data.text.KahinaText extends KahinaObject implements Serializable
  
  serialVersionUID:
  
  -5142487008379123698L
  - Serialized Fields
    - lines
```
java.util.List<E> lines
```
- Class org.kahina.core.data.text.KahinaTextModel extends KahinaObject implements Serializable
  
  serialVersionUID:
  
  210634361438935557L
  - Serialized Fields
    - text
```
KahinaText text
```
- Class org.kahina.core.data.text.KahinaTextWithMarking extends KahinaObject implements Serializable
  
  serialVersionUID:
  
  -7564505921829272199L
  - Serialized Fields
    - text
```
java.lang.String text
```
    - beginIndex
```
int beginIndex
```
    - endIndex
```
int endIndex
```
    - caretIndex
```
int caretIndex
```
Package org.kahina.core.data.tree
- Class org.kahina.core.data.tree.DefaultLayerDecider extends LayerDecider implements Serializable
  
  serialVersionUID:
  
  -4016640936973844302L
- Class org.kahina.core.data.tree.KahinaMemTree extends KahinaUnlayeredMemTree implements Serializable
  
  serialVersionUID:
  
  -721535790620674355L
- Class org.kahina.core.data.tree.KahinaTree extends KahinaObject implements Serializable
  
  serialVersionUID:
  
  -7193259910680733711L
  - Serialized Fields
    - decider
```
LayerDecider decider
```
    - primaryModel
```
KahinaTree primaryModel
```
    - referenceNode
```
int referenceNode
```
    - rootID
```
int rootID
```
- Class org.kahina.core.data.tree.KahinaUnlayeredMemTree extends KahinaTree implements Serializable
  
  serialVersionUID:
  
  -2918960685520857350L
  - Serialized Fields
    - parents
```
java.util.Map<K,V> parents
```
    - children
```
java.util.Map<K,V> children
```
    - nodeCaptions
```
java.util.Map<K,V> nodeCaptions
```
    - edgeLabels
```
java.util.Map<K,V> edgeLabels
```
    - status
```
java.util.Map<K,V> status
```
    - collapsed
```
java.util.Set<E> collapsed
```
    - layers
```
java.util.Map<K,V> layers
```
    - nextID
```
int nextID
```
    - childAddListeners
```
java.util.List<E> childAddListeners
```
- Class org.kahina.core.data.tree.LayerDecider extends KahinaObject implements Serializable
  
  serialVersionUID:
  
  4289330877894493409L
- Class org.kahina.core.data.tree.TreeLayerDecider extends LayerDecider implements Serializable
  
  serialVersionUID:
  
  1124996875665227253L

Package org.kahina.core.edit.breakpoint

Class org.kahina.core.edit.breakpoint.BooleanConnectorPanel extends javax.swing.JPanel implements Serializable

Serialized Fields

kahina

KahinaInstance<S extends KahinaState,G extends KahinaGUI,B extends KahinaBridge,P extends KahinaProject> kahina

nodeConstPanel

SingleNodeConstraintPanel nodeConstPanel

xCoord
```
java.util.Map<K,V> xCoord
```
yCoord
```
java.util.Map<K,V> yCoord
```
xDim
```
int xDim
```
yDim
```
int yDim
```
markedPattern
```
KahinaSimpleProperty markedPattern
```
nodeSelectionMode
```
int nodeSelectionMode
```

Class org.kahina.core.edit.breakpoint.BooleanOperationsPanel extends javax.swing.JPanel implements Serializable
- Serialized Fields
  - andOperationButton
```
javax.swing.JButton andOperationButton
```
  - orOperationButton
```
javax.swing.JButton orOperationButton
```
  - negOperationButton
```
javax.swing.JButton negOperationButton
```
  - implOperationButton
```
javax.swing.JButton implOperationButton
```
Class org.kahina.core.edit.breakpoint.BreakpointEditorHintPanel extends javax.swing.JPanel implements Serializable
- Serialized Fields
  - hintLabel
```
javax.swing.JLabel hintLabel
```

Class org.kahina.core.edit.breakpoint.KahinaBreakpointEditorPanel extends KahinaViewPanel<KahinaBreakpointEditor> implements Serializable

serialVersionUID:: -857783947658715855L

Serialized Fields

kahina

KahinaInstance<S extends KahinaState,G extends KahinaGUI,B extends KahinaBridge,P extends KahinaProject> kahina

editTabs
```
javax.swing.JTabbedPane editTabs
```
nodeConstraintPanel
```
NodeConstraintPanel nodeConstraintPanel
```
treeFragmentPanel
```
TreeFragmentPanel treeFragmentPanel
```
nameLabel
```
javax.swing.JLabel nameLabel
```
nameField
```
javax.swing.JTextField nameField
```
suggestNameButton
```
javax.swing.JButton suggestNameButton
```
colorLabel
```
javax.swing.JLabel colorLabel
```
signalColor
```
javax.swing.JButton signalColor
```
showAutomatonButton
```
javax.swing.JButton showAutomatonButton
```
breakpoint
```
KahinaBreakpoint breakpoint
```

Class org.kahina.core.edit.breakpoint.KahinaBreakpointProfileEditorPanel extends KahinaViewPanel<KahinaBreakpointProfileEditor> implements Serializable

serialVersionUID:

-3957158061733630627L
Class org.kahina.core.edit.breakpoint.NodeConstraintComboBox extends javax.swing.JComboBox implements Serializable
- Serialized Fields
  - options
```
java.util.List<E> options
```

Class org.kahina.core.edit.breakpoint.NodeConstraintPanel extends javax.swing.JPanel implements Serializable

Serialized Fields

kahina

KahinaInstance<S extends KahinaState,G extends KahinaGUI,B extends KahinaBridge,P extends KahinaProject> kahina

constrOptions
```
NodeConstraintOptions constrOptions
```
constPanel
```
SingleNodeConstraintPanel constPanel
```
boolOpsPanel
```
BooleanOperationsPanel boolOpsPanel
```
hintPanel
```
BreakpointEditorHintPanel hintPanel
```
selectionMode
```
int selectionMode
```

Class org.kahina.core.edit.breakpoint.NodeOperationsPanel extends javax.swing.JPanel implements Serializable
- Serialized Fields
  - addChildOperationButton
```
javax.swing.JButton addChildOperationButton
```
  - setParentOperationButton
```
javax.swing.JButton setParentOperationButton
```
  - removeOperationButton
```
javax.swing.JButton removeOperationButton
```

Class org.kahina.core.edit.breakpoint.SingleNodeConstraintPanel extends javax.swing.JPanel implements Serializable

Serialized Fields

kahina

KahinaInstance<S extends KahinaState,G extends KahinaGUI,B extends KahinaBridge,P extends KahinaProject> kahina

constrOptions
```
NodeConstraintOptions constrOptions
```
elementaryConstraintNumber
```
int elementaryConstraintNumber
```
basePatterns
```
java.util.List<E> basePatterns
```
virtualRootPattern
```
KahinaSimpleProperty virtualRootPattern
```
parentPatterns
```
java.util.Map<K,V> parentPatterns
```
elConstPanel
```
javax.swing.JPanel elConstPanel
```
boolPanel
```
BooleanConnectorPanel boolPanel
```
typeComboBoxes
```
java.util.List<E> typeComboBoxes
```
relComboBoxes
```
java.util.List<E> relComboBoxes
```
valComboBoxes
```
java.util.List<E> valComboBoxes
```
valKeyListeners
```
java.util.List<E> valKeyListeners
```
addButtons
```
java.util.List<E> addButtons
```
remButtons
```
java.util.List<E> remButtons
```
hintPanel
```
BreakpointEditorHintPanel hintPanel
```
synchronizationMode
```
boolean synchronizationMode
```
isSynchronized
```
boolean isSynchronized
```

Class org.kahina.core.edit.breakpoint.TreeEditorPanel extends javax.swing.JPanel implements Serializable
- Serialized Fields
  - fragment
```
TreeFragmentPanel fragment
```
  - x
```
java.util.HashMap<K,V> x
```
  - y
```
java.util.HashMap<K,V> y
```
  - subtreeWidths
```
java.util.HashMap<K,V> subtreeWidths
```

Class org.kahina.core.edit.breakpoint.TreeFragmentPanel extends javax.swing.JPanel implements Serializable

Serialized Fields

kahina

KahinaInstance<S extends KahinaState,G extends KahinaGUI,B extends KahinaBridge,P extends KahinaProject> kahina

constrOptions
```
NodeConstraintOptions constrOptions
```

rootConstPanel

SingleNodeConstraintPanel rootConstPanel

children
```
java.util.HashMap<K,V> children
```
parents
```
java.util.HashMap<K,V> parents
```
treePanel
```
TreeEditorPanel treePanel
```
boolOpsPanel
```
BooleanOperationsPanel boolOpsPanel
```
nodeOpsPanel
```
NodeOperationsPanel nodeOpsPanel
```
hintPanel
```
BreakpointEditorHintPanel hintPanel
```
selectionMode
```
int selectionMode
```

markedTreeNode

SingleNodeConstraintPanel markedTreeNode

Package org.kahina.core.edit.source
- Class org.kahina.core.edit.source.KahinaJEditPanel extends javax.swing.JPanel implements Serializable
  
  serialVersionUID:
  
  2807203309357135993L
  - Serialized Fields
    - saveButton
```
javax.swing.JButton saveButton
```
    - textArea
```
KahinaJEditTextArea textArea
```
    - buffer
```
JEditBuffer buffer
```
    - file
```
java.io.File file
```
    - dirty
```
boolean dirty
```
    - actionListener
```
java.awt.event.ActionListener actionListener
```
- Class org.kahina.core.edit.source.KahinaMultifileJEditPanel extends javax.swing.JPanel implements Serializable
  
  serialVersionUID:
  
  7289857419713715346L
  - Serialized Fields
    - instance
```
LogicProgrammingInstance<S extends LogicProgrammingState,G extends LogicProgrammingGUI,B extends LogicProgrammingBridge,P extends LogicProgrammingProject> instance
```
    - tabbedPane
```
javax.swing.JTabbedPane tabbedPane
```
    - panelByFile
```
java.util.Map<K,V> panelByFile
```
Package org.kahina.core.gui
- Class org.kahina.core.gui.KahinaControlButtonWindow extends KahinaWindow implements Serializable
  
  serialVersionUID:
  
  -809546592680882505L
  - Serialized Fields
    - buttons
```
java.util.List<E> buttons
```
    - buttonByID
```
java.util.Map<K,V> buttonByID
```
- Class org.kahina.core.gui.KahinaProgressBar extends javax.swing.JPanel implements Serializable
  
  serialVersionUID:
  
  5212055650892082890L
  - Serialized Fields
    - progressBar
```
javax.swing.JProgressBar progressBar
```
    - cancelButton
```
javax.swing.JButton cancelButton
```
    - canceled
```
boolean canceled
```
- Class org.kahina.core.gui.KahinaTransferablePanel extends javax.swing.JPanel implements Serializable
  - Serialized Fields
    - title
```
java.lang.String title
```
    - windowID
```
int windowID
```
    - viewportHeight
```
int viewportHeight
```
    - viewportWidth
```
int viewportWidth
```
- Class org.kahina.core.gui.KahinaWindowTransferHandler extends javax.swing.TransferHandler implements Serializable
Package org.kahina.core.gui.breakpoint
- Class org.kahina.core.gui.breakpoint.BreakpointEditorFileMenu extends javax.swing.JMenu implements Serializable
  
  serialVersionUID:
  
  7163623733563539175L
  - Serialized Fields
    - kahina
```
KahinaInstance<S extends KahinaState,G extends KahinaGUI,B extends KahinaBridge,P extends KahinaProject> kahina
```
- Class org.kahina.core.gui.breakpoint.BreakpointEditorWindow extends javax.swing.JFrame implements Serializable
  
  serialVersionUID:
  
  -2695961972605190759L
  - Serialized Fields
    - newBreakpointButton
```
javax.swing.JButton newBreakpointButton
```
    - activateBreakpointButton
```
javax.swing.JButton activateBreakpointButton
```
    - deactivateBreakpointButton
```
javax.swing.JButton deactivateBreakpointButton
```
    - removeBreakpointButton
```
javax.swing.JButton removeBreakpointButton
```
    - breakpointListPanel
```
javax.swing.JPanel breakpointListPanel
```
    - breakpointList
```
javax.swing.JList<E> breakpointList
```
    - editPanel
```
KahinaBreakpointEditorPanel editPanel
```
    - breakpoints
```
java.util.List<E> breakpoints
```
    - compiledBreakpoints
```
java.util.List<E> compiledBreakpoints
```
    - curID
```
int curID
```
    - breakpointType
```
int breakpointType
```
    - kahina
```
KahinaInstance<S extends KahinaState,G extends KahinaGUI,B extends KahinaBridge,P extends KahinaProject> kahina
```
- Class org.kahina.core.gui.breakpoint.BreakpointTestWindow extends javax.swing.JFrame implements Serializable
  
  serialVersionUID:
  
  5249202782237918220L
  - Serialized Fields
    - model
```
KahinaTree model
```
    - breakpoints
```
java.util.List<E> breakpoints
```
    - view
```
KahinaTreeView view
```
    - mainPanel
```
javax.swing.JPanel mainPanel
```
    - treeGenPanel
```
TreeGenerationPanel treeGenPanel
```
    - nodeOpPanel
```
NodeOperationsPanel nodeOpPanel
```
    - hintPanel
```
BreakpointEditorHintPanel hintPanel
```
    - viewPanel
```
KahinaTreeViewPanel viewPanel
```
    - growthProcess
```
java.lang.Thread growthProcess
```
    - growthMode
```
boolean growthMode
```
- Class org.kahina.core.gui.breakpoint.ThresholdedBreakpointEditorWindow extends BreakpointEditorWindow implements Serializable
  
  serialVersionUID:
  
  -3420993187702603445L
  - Serialized Fields
    - thresholdedEditPanel
```
ThresholdedBreakpointEditPanel thresholdedEditPanel
```
    - state
```
LogicProgrammingState state
```
- Class org.kahina.core.gui.breakpoint.ThresholdedBreakpointEditPanel extends KahinaBreakpointEditorPanel implements Serializable
  
  serialVersionUID:
  
  -5038545439301530295L
  - Serialized Fields
    - thresholdSpinner
```
javax.swing.JSpinner thresholdSpinner
```
    - thresholdLabel1
```
javax.swing.JLabel thresholdLabel1
```
    - thresholdLabel2
```
javax.swing.JLabel thresholdLabel2
```
    - state
```
KahinaState state
```
- Class org.kahina.core.gui.breakpoint.TreeGenerationPanel extends javax.swing.JPanel implements Serializable
  - Serialized Fields
    - addRandomNodeButton
```
javax.swing.JButton addRandomNodeButton
```
    - randomTreeGrowthButton
```
javax.swing.JButton randomTreeGrowthButton
```
    - stopTreeGrowthButton
```
javax.swing.JButton stopTreeGrowthButton
```
    - discardTreeButton
```
javax.swing.JButton discardTreeButton
```
Package org.kahina.core.gui.menus
- Class org.kahina.core.gui.menus.KahinaControlPointMenu extends javax.swing.JMenu implements Serializable
  
  serialVersionUID:
  
  -1290849167486564257L
  - Serialized Fields
    - kahina
```
KahinaInstance<S extends KahinaState,G extends KahinaGUI,B extends KahinaBridge,P extends KahinaProject> kahina
```
- Class org.kahina.core.gui.menus.KahinaHelpMenu extends javax.swing.JMenu implements Serializable
  
  serialVersionUID:
  
  -8825991093423631389L
  - Serialized Fields
    - kahina
```
KahinaInstance<S extends KahinaState,G extends KahinaGUI,B extends KahinaBridge,P extends KahinaProject> kahina
```
- Class org.kahina.core.gui.menus.KahinaProjectMenu extends javax.swing.JMenu implements Serializable
  
  serialVersionUID:
  
  -5797303674332544798L
  - Serialized Fields
    - newProjectItem
```
javax.swing.JMenuItem newProjectItem
```
    - openProjectMenu
```
javax.swing.JMenu openProjectMenu
```
    - recentProjectsMenu
```
javax.swing.JMenu recentProjectsMenu
```
    - predefinedProjectsMenu
```
javax.swing.JMenu predefinedProjectsMenu
```
    - loadProjectItem
```
javax.swing.JMenuItem loadProjectItem
```
    - saveProjectItem
```
javax.swing.JMenuItem saveProjectItem
```
- Class org.kahina.core.gui.menus.KahinaSessionMenu extends javax.swing.JMenu implements Serializable
  
  serialVersionUID:
  
  -3140345218228195395L
  - Serialized Fields
    - kahina
```
KahinaInstance<S extends KahinaState,G extends KahinaGUI,B extends KahinaBridge,P extends KahinaProject> kahina
```
- Class org.kahina.core.gui.menus.KahinaViewMenu extends javax.swing.JMenu implements Serializable
  
  serialVersionUID:
  
  -8816851369583949953L
  - Serialized Fields
    - kahina
```
KahinaInstance<S extends KahinaState,G extends KahinaGUI,B extends KahinaBridge,P extends KahinaProject> kahina
```
    - manager
```
KahinaWindowManager manager
```
    - lastPerspectiveFile
```
java.io.File lastPerspectiveFile
```
- Class org.kahina.core.gui.menus.KahinaWindowContextMenu extends javax.swing.JPopupMenu implements Serializable
  - Serialized Fields
    - w
```
KahinaWindow w
```
    - kahina
```
KahinaInstance<S extends KahinaState,G extends KahinaGUI,B extends KahinaBridge,P extends KahinaProject> kahina
```
Package org.kahina.core.gui.profiler
- Class org.kahina.core.gui.profiler.KahinaProfilerMenu extends javax.swing.JMenu implements Serializable
  
  serialVersionUID:
  
  -7484775954027995992L
  - Serialized Fields
    - kahina
```
KahinaInstance<S extends KahinaState,G extends KahinaGUI,B extends KahinaBridge,P extends KahinaProject> kahina
```
Package org.kahina.core.gui.windows
- Class org.kahina.core.gui.windows.KahinaDefaultWindow extends KahinaWindow implements Serializable
  
  serialVersionUID:
  
  -103050187301305920L
  - Serialized Fields
    - v
```
KahinaView<T extends KahinaObject> v
```
- Class org.kahina.core.gui.windows.KahinaDummyWindow extends KahinaDefaultWindow implements Serializable
  
  serialVersionUID:
  
  6198599746412653039L
- Class org.kahina.core.gui.windows.KahinaHorizontallySplitWindow extends KahinaWindow implements Serializable
  
  serialVersionUID:
  
  7735328776548607273L
  - Serialized Fields
    - leftWindow
```
KahinaWindow leftWindow
```
    - rightWindow
```
KahinaWindow rightWindow
```
    - leftPanel
```
javax.swing.JPanel leftPanel
```
    - rightPanel
```
javax.swing.JPanel rightPanel
```
    - splitPane
```
javax.swing.JSplitPane splitPane
```
- Class org.kahina.core.gui.windows.KahinaListWindow extends KahinaWindow implements Serializable
  
  serialVersionUID:
  
  -3092025976121299649L
  - Serialized Fields
    - listModel
```
javax.swing.DefaultListModel<E> listModel
```
    - list
```
javax.swing.JList<E> list
```
    - displayPane
```
javax.swing.JPanel displayPane
```
    - windows
```
java.util.List<E> windows
```
    - selectedWindow
```
int selectedWindow
```
- Class org.kahina.core.gui.windows.KahinaMainWindow extends KahinaWindow implements Serializable
  
  serialVersionUID:
  
  4400677323996243739L
  - Serialized Fields
    - menuBar
```
javax.swing.JMenuBar menuBar
```
    - sessionMenu
```
KahinaSessionMenu sessionMenu
```
    - projectMenu
```
KahinaProjectMenu projectMenu
```
    - viewMenu
```
KahinaViewMenu viewMenu
```
    - subwindow
```
KahinaWindow subwindow
```
- Class org.kahina.core.gui.windows.KahinaTabbedWindow extends KahinaWindow implements Serializable
  
  serialVersionUID:
  
  -3402208749341396369L
  - Serialized Fields
    - tabbedPane
```
javax.swing.JTabbedPane tabbedPane
```
    - windows
```
java.util.List<E> windows
```
- Class org.kahina.core.gui.windows.KahinaVerticallySplitWindow extends KahinaWindow implements Serializable
  
  serialVersionUID:
  
  -4836711113431179305L
  - Serialized Fields
    - upperWindow
```
KahinaWindow upperWindow
```
    - lowerWindow
```
KahinaWindow lowerWindow
```
    - topPanel
```
javax.swing.JPanel topPanel
```
    - bottomPanel
```
javax.swing.JPanel bottomPanel
```
    - splitPane
```
javax.swing.JSplitPane splitPane
```
    - resizeWeight
```
double resizeWeight
```
- Class org.kahina.core.gui.windows.KahinaWindow extends javax.swing.JFrame implements Serializable
  
  serialVersionUID:
  
  6613805267152521669L
  - Serialized Fields
    - wm
```
KahinaWindowManager wm
```
    - mainPanel
```
KahinaTransferablePanel mainPanel
```
    - topScrollPane
```
javax.swing.JScrollPane topScrollPane
```
    - windowID
```
int windowID
```
    - cloned
```
boolean cloned
```
    - kahina
```
KahinaInstance<S extends KahinaState,G extends KahinaGUI,B extends KahinaBridge,P extends KahinaProject> kahina
```
Package org.kahina.core.profiler
- Class org.kahina.core.profiler.ProfileEntry extends java.lang.Object implements Serializable
  
  serialVersionUID:
  
  -8785694535266108407L
  - Serialized Fields
    - name
```
java.lang.String name
```
    - category
```
java.lang.String category
```
    - hashCode
```
int hashCode
```
Package org.kahina.core.test
- Class org.kahina.core.test.TestLayerDecider extends LayerDecider implements Serializable
  
  serialVersionUID:
  
  2227151963480031811L
- Class org.kahina.core.test.TestLayeredTree extends KahinaMemTree implements Serializable
Package org.kahina.core.visual
- Class org.kahina.core.visual.KahinaDefaultViewPanel extends KahinaViewPanel<KahinaDefaultView> implements Serializable
  
  serialVersionUID:
  
  -5117530919344443714L
- Class org.kahina.core.visual.KahinaEmptyViewPanel extends KahinaViewPanel<KahinaEmptyView> implements Serializable
- Class org.kahina.core.visual.KahinaViewPanel extends javax.swing.JPanel implements Serializable
  
  serialVersionUID:
  
  5677332450070203832L
  - Serialized Fields
    - view
```
KahinaView<T extends KahinaObject> view
```
    - progressBar
```
KahinaProgressBar progressBar
```
    - progressBarParent
```
javax.swing.JComponent progressBarParent
```

Package org.kahina.core.visual.agent

Class org.kahina.core.visual.agent.KahinaControlAgentContextMenu extends javax.swing.JPopupMenu implements Serializable

serialVersionUID:

2789903959687639683L
- Serialized Fields
  - v
```
KahinaControlAgentViewPanel v
```

Class org.kahina.core.visual.agent.KahinaControlAgentProfileViewPanel extends KahinaViewPanel<KahinaControlAgentProfileView> implements Serializable

Serialized Fields

pointList
```
javax.swing.JList<E> pointList
```
pointPanel
```
KahinaControlAgentViewPanel pointPanel
```

profileListener

KahinaControlAgentProfileListener profileListener

kahina

LogicProgrammingInstance<S extends LogicProgrammingState,G extends LogicProgrammingGUI,B extends LogicProgrammingBridge,P extends LogicProgrammingProject> kahina

Class org.kahina.core.visual.agent.KahinaControlAgentViewPanel extends KahinaViewPanel<KahinaControlAgentView> implements Serializable

Serialized Fields

noSelectionPanel
```
javax.swing.JPanel noSelectionPanel
```
activationButton
```
javax.swing.JButton activationButton
```
colorButton
```
javax.swing.JButton colorButton
```
nameEditLine
```
javax.swing.JTextField nameEditLine
```

pointListener

KahinaControlAgentListener pointListener

profileListener

KahinaControlAgentProfileListener profileListener

kahina

KahinaInstance<S extends KahinaState,G extends KahinaGUI,B extends KahinaBridge,P extends KahinaProject> kahina

Class org.kahina.core.visual.agent.StepPatternEditorPanel extends javax.swing.JPanel implements Serializable

Serialized Fields

andOperationButton
```
javax.swing.JButton andOperationButton
```
orOperationButton
```
javax.swing.JButton orOperationButton
```
negOperationButton
```
javax.swing.JButton negOperationButton
```
implOperationButton
```
javax.swing.JButton implOperationButton
```
hintPanel
```
BreakpointEditorHintPanel hintPanel
```
patternPanel
```
SingleNodeConstraintPanel patternPanel
```
viewPanel
```
KahinaControlAgentViewPanel viewPanel
```

Package org.kahina.core.visual.chart
- Class org.kahina.core.visual.chart.KahinaChartViewContextMenu extends javax.swing.JPopupMenu implements Serializable
  
  serialVersionUID:
  
  3314767645836373938L
  - Serialized Fields
    - v
```
KahinaChartView v
```
- Class org.kahina.core.visual.chart.KahinaChartViewPanel extends KahinaViewPanel<KahinaChartView> implements Serializable
  
  serialVersionUID:
  
  -1083038134731774917L
  - Serialized Fields
    - image
```
java.awt.image.BufferedImage image
```
- Class org.kahina.core.visual.chart.KahinaRecursiveChartViewPanel extends KahinaChartViewPanel implements Serializable
  - Serialized Fields
    - view
```
KahinaRecursiveChartView view
```
Package org.kahina.core.visual.dag
- Class org.kahina.core.visual.dag.ColoredPathDAGViewPanel extends KahinaDAGViewPanel implements Serializable
  - Serialized Fields
    - view
```
ColoredPathDAGView view
```
- Class org.kahina.core.visual.dag.KahinaDAGViewContextMenu extends javax.swing.JPopupMenu implements Serializable
  
  serialVersionUID:
  
  9048500561913489861L
  - Serialized Fields
    - v
```
KahinaDAGView v
```
- Class org.kahina.core.visual.dag.KahinaDAGViewPanel extends KahinaViewPanel<KahinaDAGView> implements Serializable
  
  serialVersionUID:
  
  6701252380309408342L
  - Serialized Fields
    - image
```
java.awt.image.BufferedImage image
```
    - kahina
```
KahinaInstance<S extends KahinaState,G extends KahinaGUI,B extends KahinaBridge,P extends KahinaProject> kahina
```
Package org.kahina.core.visual.graph
- Class org.kahina.core.visual.graph.KahinaGraphViewContextMenu extends javax.swing.JPopupMenu implements Serializable
  
  serialVersionUID:
  
  -6792818227134710399L
  - Serialized Fields
    - v
```
KahinaGraphView v
```
- Class org.kahina.core.visual.graph.KahinaGraphViewPanel extends KahinaViewPanel<KahinaGraphView> implements Serializable
  
  serialVersionUID:
  
  -3000401362714094415L
  - Serialized Fields
    - image
```
java.awt.image.BufferedImage image
```
    - taskManager
```
KahinaGraphViewTaskManager taskManager
```
Package org.kahina.core.visual.project
- Class org.kahina.core.visual.project.KahinaProjectViewPanel extends KahinaViewPanel<KahinaProjectView> implements Serializable
Package org.kahina.core.visual.source
- Class org.kahina.core.visual.source.KahinaJEditSourceCodeViewPanel extends KahinaViewPanel<KahinaJEditSourceCodeView> implements Serializable
  
  serialVersionUID:
  
  7794798458761136862L
  - Serialized Fields
    - editPanel
```
KahinaMultifileJEditPanel editPanel
```
Package org.kahina.core.visual.text
- Class org.kahina.core.visual.text.KahinaTextViewPanel extends KahinaViewPanel<KahinaTextView<?>> implements Serializable
  
  serialVersionUID:
  
  -615641085387993443L
  - Serialized Fields
    - list
```
javax.swing.JList<E> list
```
    - listScrollPane
```
javax.swing.JScrollPane listScrollPane
```
    - displayContext
```
int displayContext
```
    - kahina
```
KahinaInstance<S extends KahinaState,G extends KahinaGUI,B extends KahinaBridge,P extends KahinaProject> kahina
```
Package org.kahina.core.visual.tree
- Class org.kahina.core.visual.tree.KahinaLayeredTreeViewPanel extends KahinaViewPanel<KahinaLayeredTreeView> implements Serializable
  
  serialVersionUID:
  
  -1304882362038211887L
  - Serialized Fields
    - panels
```
KahinaTreeViewPanel[] panels
```
    - orientation
```
KahinaLayeredTreeViewPanel.Orientation orientation
```
- Class org.kahina.core.visual.tree.KahinaListTreeListRenderer extends javax.swing.DefaultListCellRenderer implements Serializable
  
  serialVersionUID:
  
  331637404881122724L
  - Serialized Fields
    - view
```
KahinaListTreeViewPanel view
```
    - layer
```
int layer
```
- Class org.kahina.core.visual.tree.KahinaListTreeViewPanel extends KahinaViewPanel<KahinaListTreeView> implements Serializable
  
  serialVersionUID:
  
  -2816651065876855228L
  - Serialized Fields
    - kahina
```
KahinaInstance<S extends KahinaState,G extends KahinaGUI,B extends KahinaBridge,P extends KahinaProject> kahina
```
    - panels
```
javax.swing.JPanel[] panels
```
    - lists
```
javax.swing.JList<E>[] lists
```
    - listModels
```
javax.swing.ListModel<E>[] listModels
```
    - splitPanes
```
java.util.List<E> splitPanes
```
    - listIndexByNodeIDByLayer
```
java.util.List<E> listIndexByNodeIDByLayer
```
    - lastMouseEvent
```
java.awt.event.MouseEvent lastMouseEvent
```
    - lastClickedIndex
```
int lastClickedIndex
```
    - oldReferenceNodeByLayer
```
int[] oldReferenceNodeByLayer
```
- Class org.kahina.core.visual.tree.KahinaTreeViewContextMenu extends javax.swing.JPopupMenu implements Serializable
  
  serialVersionUID:
  
  9048500561913489861L
  - Serialized Fields
    - v
```
KahinaTreeView v
```
- Class org.kahina.core.visual.tree.KahinaTreeViewPanel extends KahinaViewPanel<KahinaTreeView> implements Serializable
  
  serialVersionUID:
  
  6701252380309408342L
  - Serialized Fields
    - image
```
java.awt.image.BufferedImage image
```
Package org.kahina.logic.sat.data
- Class org.kahina.logic.sat.data.KahinaSatInstance extends KahinaObject implements Serializable
  - Serialized Fields
    - symbolTable
```
java.util.HashMap<K,V> symbolTable
```
Package org.kahina.logic.sat.data.cnf
- Class org.kahina.logic.sat.data.cnf.CnfSatInstance extends KahinaSatInstance implements Serializable
  - Serialized Fields
    - maxClauseID
```
int maxClauseID
```
    - maxVarID
```
int maxVarID
```
    - clauseIDs
```
java.util.List<E> clauseIDs
```
    - reverseConversionTable
```
java.util.Map<K,V> reverseConversionTable
```
    - clauseStore
```
java.util.Map<K,V> clauseStore
```
    - dontCareClauses
```
java.util.HashSet<E> dontCareClauses
```
    - occurrenceMap
```
java.util.Map<K,V> occurrenceMap
```
    - subsumptionCheck
```
boolean subsumptionCheck
```
    - needsRebuild
```
boolean needsRebuild
```
- Class org.kahina.logic.sat.data.cnf.GroupCnfSatInstance extends CnfSatInstance implements Serializable
  - Serialized Fields
    - numGroups
```
int numGroups
```
    - clauseToGroup
```
int[] clauseToGroup
```
    - groupToClauses
```
java.util.List<E>[] groupToClauses
```
    - groupOccurrenceMap
```
java.util.List<E>[] groupOccurrenceMap
```
Package org.kahina.logic.sat.data.free
- Class org.kahina.logic.sat.data.free.FreeSatInstance extends KahinaSatInstance implements Serializable
  - Serialized Fields
    - formula
```
BooleanFormula formula
```
Package org.kahina.logic.sat.data.proof
- Class org.kahina.logic.sat.data.proof.ResolutionProofDAG extends KahinaMemDAG implements Serializable
  - Serialized Fields
    - satInstance
```
CnfSatInstance satInstance
```
    - clauses
```
java.util.Map<K,V> clauses
```
    - refutationNode
```
int refutationNode
```
- Class org.kahina.logic.sat.data.proof.ResolutionProofTree extends KahinaUnlayeredMemTree implements Serializable
  - Serialized Fields
    - satInstance
```
CnfSatInstance satInstance
```
    - clauses
```
java.util.Map<K,V> clauses
```
Package org.kahina.logic.sat.freemuc
- Class org.kahina.logic.sat.freemuc.FreeMUCState extends KahinaState implements Serializable
  - Serialized Fields
    - formula
```
BooleanFormula formula
```
    - decisionGraph
```
ColoredPathDAG decisionGraph
```
- Class org.kahina.logic.sat.freemuc.FreeMUCStep extends KahinaStep implements Serializable
Package org.kahina.logic.sat.freemuc.gui
- Class org.kahina.logic.sat.freemuc.gui.FreeMUCFileMenu extends javax.swing.JMenu implements Serializable
- Class org.kahina.logic.sat.freemuc.gui.FreeMUCMainWindow extends KahinaMainWindow implements Serializable
Package org.kahina.logic.sat.insertionmus
- Class org.kahina.logic.sat.insertionmus.MUCState extends KahinaState implements Serializable
  - Serialized Fields
    - satInstance
```
CnfSatInstance satInstance
```
    - files
```
MiniSATFiles files
```
    - decisionGraph
```
ColoredPathDAG decisionGraph
```
    - reducers
```
UCReducerList reducers
```
    - nodeForStep
```
java.util.Map<K,V> nodeForStep
```
    - kahina
```
MUCInstance kahina
```
    - data
```
AlgorithmData data
```
    - heuristic
```
ISortingHeuristic heuristic
```
    - algorithm
```
AbstractAlgorithm algorithm
```
- Class org.kahina.logic.sat.insertionmus.MUCStep extends KahinaStep implements Serializable
  - Serialized Fields
    - satisfiable
```
boolean satisfiable
```
    - data
```
AlgorithmData data
```
    - oldData
```
AlgorithmData oldData
```
    - ID
```
int ID
```
Package org.kahina.logic.sat.insertionmus.gui
- Class org.kahina.logic.sat.insertionmus.gui.MUCFileMenu extends javax.swing.JMenu implements Serializable
- Class org.kahina.logic.sat.insertionmus.gui.MUCMainWindow extends KahinaMainWindow implements Serializable
- Class org.kahina.logic.sat.insertionmus.gui.MusticcaInstanceMenu extends javax.swing.JMenu implements Serializable
  - Serialized Fields
    - loadInstanceItem
```
javax.swing.JMenuItem loadInstanceItem
```
- Class org.kahina.logic.sat.insertionmus.gui.MusticcaUSMenu extends javax.swing.JMenu implements Serializable
Package org.kahina.logic.sat.insertionmus.visual
- Class org.kahina.logic.sat.insertionmus.visual.MUCStepViewContextMenu extends javax.swing.JPopupMenu implements Serializable
  - Serialized Fields
    - view
```
MUCStepViewPanel view
```
    - kahina
```
MUCInstance kahina
```
- Class org.kahina.logic.sat.insertionmus.visual.MUCStepViewPanel extends KahinaSatInstanceListViewPanel implements Serializable
  - Serialized Fields
    - kahina
```
MUCInstance kahina
```
    - view
```
MUCStepViewRemaining view
```
Package org.kahina.logic.sat.io.minisat
- Class org.kahina.logic.sat.io.minisat.ResultNotRetrievableException extends java.lang.Exception implements Serializable
  - Serialized Fields
    - explanation
```
java.lang.String explanation
```

Package org.kahina.logic.sat.muc

Class org.kahina.logic.sat.muc.MUCState extends KahinaState implements Serializable

Serialized Fields

satInstance
```
CnfSatInstance satInstance
```
stat
```
MUCStatistics stat
```
files
```
MiniSATFiles files
```
metaInstance
```
MUCMetaInstance metaInstance
```
blocklessBlocks
```
BlocklessBlockHandler blocklessBlocks
```
partitionBlocks
```
PartitionBlockHandler partitionBlocks
```
recursiveBlocks
```
RecursiveBlockHandler recursiveBlocks
```
decisionGraph
```
ColoredPathDAG decisionGraph
```
reducers
```
UCReducerList reducers
```
nodeForStep
```
java.util.Map<K,V> nodeForStep
```
kahina
```
MUCInstance kahina
```

Class org.kahina.logic.sat.muc.MUCStep extends KahinaStep implements Serializable
- Serialized Fields
  - uc
```
java.util.List<E> uc
```
  - reductionTable
```
java.util.Map<K,V> reductionTable
```
  - satisfiable
```
boolean satisfiable
```

Package org.kahina.logic.sat.muc.data
- Class org.kahina.logic.sat.muc.data.BlocklessBlockHandler extends LiteralBlockHandler implements Serializable
- Class org.kahina.logic.sat.muc.data.LiteralBlockHandler extends KahinaObject implements Serializable
  - Serialized Fields
    - satInstance
```
CnfSatInstance satInstance
```
- Class org.kahina.logic.sat.muc.data.MUCMetaInstance extends CnfSatInstance implements Serializable
  - Serialized Fields
    - blockHandler
```
LiteralBlockHandler blockHandler
```
- Class org.kahina.logic.sat.muc.data.PartitionBlockHandler extends LiteralBlockHandler implements Serializable
  - Serialized Fields
    - nextBlockID
```
int nextBlockID
```
    - blockList
```
java.util.Map<K,V> blockList
```
    - blockClauses
```
java.util.Map<K,V> blockClauses
```
    - blockDefClauses
```
java.util.Map<K,V> blockDefClauses
```
    - blockDefVar
```
java.util.Map<K,V> blockDefVar
```
    - blockVarBlockID
```
java.util.Map<K,V> blockVarBlockID
```
    - blockIndex
```
java.util.Map<K,V> blockIndex
```
- Class org.kahina.logic.sat.muc.data.RecursiveBlockHandler extends LiteralBlockHandler implements Serializable
  - Serialized Fields
    - nextBlockID
```
int nextBlockID
```
    - blockList
```
java.util.Map<K,V> blockList
```
    - blockClauses
```
java.util.Map<K,V> blockClauses
```
    - blockDefClauses
```
java.util.Map<K,V> blockDefClauses
```
    - blockDefVar
```
java.util.Map<K,V> blockDefVar
```
    - blockVarBlockID
```
java.util.Map<K,V> blockVarBlockID
```
    - blockIndex
```
java.util.Map<K,V> blockIndex
```
    - topBlock
```
int topBlock
```
- Class org.kahina.logic.sat.muc.data.UCReducerList extends KahinaObject implements Serializable
  - Serialized Fields
    - reducers
```
java.util.List<E> reducers
```
Package org.kahina.logic.sat.muc.gui
- Class org.kahina.logic.sat.muc.gui.MUCFileMenu extends javax.swing.JMenu implements Serializable
- Class org.kahina.logic.sat.muc.gui.MUCMainWindow extends KahinaMainWindow implements Serializable
- Class org.kahina.logic.sat.muc.gui.MusticcaInstanceMenu extends javax.swing.JMenu implements Serializable
  - Serialized Fields
    - loadInstanceItem
```
javax.swing.JMenuItem loadInstanceItem
```
- Class org.kahina.logic.sat.muc.gui.MusticcaUSMenu extends javax.swing.JMenu implements Serializable
- Class org.kahina.logic.sat.muc.gui.WrapLayout extends java.awt.FlowLayout implements Serializable
  - Serialized Fields
    - preferredLayoutSize
```
java.awt.Dimension preferredLayoutSize
```
Package org.kahina.logic.sat.muc.visual
- Class org.kahina.logic.sat.muc.visual.MetaInstanceViewContextMenu extends javax.swing.JPopupMenu implements Serializable
  - Serialized Fields
    - view
```
MetaInstanceViewPanel view
```
    - kahina
```
MUCInstance kahina
```
- Class org.kahina.logic.sat.muc.visual.MetaInstanceViewPanel extends KahinaSatInstanceListViewPanel implements Serializable
  - Serialized Fields
    - kahina
```
MUCInstance kahina
```
- Class org.kahina.logic.sat.muc.visual.MUCStepControllerPanel extends KahinaViewPanel<MUCStepController> implements Serializable
  - Serialized Fields
    - controlPanel
```
javax.swing.JPanel controlPanel
```
    - candidatePanel
```
javax.swing.JPanel candidatePanel
```
    - candLabels
```
javax.swing.JLabel[] candLabels
```
    - icToCandLabel
```
java.util.HashMap<K,V> icToCandLabel
```
    - displayProcessedCandidates
```
boolean displayProcessedCandidates
```
    - lastClick
```
long lastClick
```
    - kahina
```
MUCInstance kahina
```
    - selectedClauses
```
java.util.List<E> selectedClauses
```
- Class org.kahina.logic.sat.muc.visual.MUCStepViewContextMenu extends javax.swing.JPopupMenu implements Serializable
  - Serialized Fields
    - view
```
MUCStepViewPanel view
```
    - kahina
```
MUCInstance kahina
```
- Class org.kahina.logic.sat.muc.visual.MUCStepViewPanel extends KahinaSatInstanceListViewPanel implements Serializable
  - Serialized Fields
    - kahina
```
MUCInstance kahina
```
    - view
```
MUCStepView view
```
- Class org.kahina.logic.sat.muc.visual.PartitionBlockListCellRenderer extends javax.swing.DefaultListCellRenderer implements Serializable
  - Serialized Fields
    - panel
```
PartitionBlockViewPanel panel
```
- Class org.kahina.logic.sat.muc.visual.PartitionBlockViewPanel extends KahinaViewPanel<PartitionBlockView> implements Serializable
  - Serialized Fields
    - list
```
javax.swing.JList<E> list
```
    - listScrollPane
```
javax.swing.JScrollPane listScrollPane
```
- Class org.kahina.logic.sat.muc.visual.RecursiveBlockViewPanel extends KahinaTreeViewPanel implements Serializable
  - Serialized Fields
    - view
```
RecursiveBlockView view
```
- Class org.kahina.logic.sat.muc.visual.UCReducerListViewPanel extends KahinaViewPanel<UCReducerListView> implements Serializable
  - Serialized Fields
    - newReducerPanel
```
javax.swing.JPanel newReducerPanel
```
    - heuristicsChooser
```
javax.swing.JComboBox<E> heuristicsChooser
```
    - colorLabel
```
javax.swing.JLabel colorLabel
```
    - signalColor
```
javax.swing.JButton signalColor
```
    - clauseSetRefinementCheck
```
javax.swing.JCheckBox clauseSetRefinementCheck
```
    - modelRotationCheck
```
javax.swing.JCheckBox modelRotationCheck
```
    - autarkyReductionCheck
```
javax.swing.JCheckBox autarkyReductionCheck
```
    - runningReducersPanel
```
javax.swing.JPanel runningReducersPanel
```
    - kahina
```
MUCInstance kahina
```
- Class org.kahina.logic.sat.muc.visual.UCReducerPanel extends javax.swing.JPanel implements Serializable
  - Serialized Fields
    - identificationLabel
```
javax.swing.JLabel identificationLabel
```
    - currentStatusLabel
```
javax.swing.JLabel currentStatusLabel
```
    - summaryLabel
```
javax.swing.JLabel summaryLabel
```
    - signalColor
```
javax.swing.JButton signalColor
```
    - commandButton1
```
javax.swing.JButton commandButton1
```
    - commandButton2
```
javax.swing.JButton commandButton2
```
    - reducer
```
ReductionAgent reducer
```
    - kahina
```
MUCInstance kahina
```
Package org.kahina.logic.sat.visual.cnf.graph
- Class org.kahina.logic.sat.visual.cnf.graph.KahinaSatInstanceGraphViewContextMenu extends KahinaGraphViewContextMenu implements Serializable
- Class org.kahina.logic.sat.visual.cnf.graph.KahinaSatInstanceGraphViewPanel extends KahinaGraphViewPanel implements Serializable
Package org.kahina.logic.sat.visual.cnf.list
- Class org.kahina.logic.sat.visual.cnf.list.KahinaSatInstanceListCellRenderer extends javax.swing.DefaultListCellRenderer implements Serializable
  - Serialized Fields
    - panel
```
KahinaSatInstanceListViewPanel panel
```
- Class org.kahina.logic.sat.visual.cnf.list.KahinaSatInstanceListViewPanel extends KahinaViewPanel<KahinaSatInstanceListView> implements Serializable
  - Serialized Fields
    - list
```
javax.swing.JList<E> list
```
    - listScrollPane
```
javax.swing.JScrollPane listScrollPane
```
Package org.kahina.logic.sat.visual.free
- Class org.kahina.logic.sat.visual.free.FormulaTreeViewPanel extends KahinaTreeViewPanel implements Serializable
  - Serialized Fields
    - view
```
FormulaTreeView view
```
Package org.kahina.lp
- Class org.kahina.lp.LogicProgrammingState extends KahinaState implements Serializable
  
  serialVersionUID:
  
  -2604998343572966299L
  - Serialized Fields
    - stepTree
```
KahinaTree stepTree
```
    - secondaryStepTree
```
KahinaTree secondaryStepTree
```
    - anchorsByTarget
```
java.util.Map<K,V> anchorsByTarget
```
    - targetByAnchor
```
java.util.Map<K,V> targetByAnchor
```
    - hiddenSteps
```
java.util.Set<E> hiddenSteps
```
    - profile
```
LogicProgrammingProfile profile
```
- Class org.kahina.lp.LogicProgrammingStep extends KahinaStep implements Serializable
  
  serialVersionUID:
  
  -7522398040719763248L
  - Serialized Fields
    - codeLocation
```
KahinaSourceCodeLocation codeLocation
```
    - goalDesc
```
java.lang.String goalDesc
```
    - externalID
```
int externalID
```
    - redone
```
int redone
```
Package org.kahina.lp.data.agent
- Class org.kahina.lp.data.agent.LogicProgrammingControlAgent extends KahinaControlAgent implements Serializable
  
  serialVersionUID:
  
  915254841399696437L
  - Serialized Fields
    - sensor
```
KahinaSimplePropertySensor sensor
```
- Class org.kahina.lp.data.agent.LogicProgrammingControlAgentProfile extends KahinaControlAgentProfile implements Serializable
Package org.kahina.lp.data.breakpoint
- Class org.kahina.lp.data.breakpoint.LogicProgrammingControlAgent extends KahinaControlAgent implements Serializable
  - Serialized Fields
    - sensor
```
KahinaSimplePropertySensor sensor
```
- Class org.kahina.lp.data.breakpoint.LogicProgrammingControlAgentProfile extends KahinaControlAgentProfile implements Serializable

Package org.kahina.lp.data.project

Class org.kahina.lp.data.project.LogicProgrammingProject extends KahinaProject implements Serializable

Serialized Fields

breakPoints
```
KahinaControlAgentProfile breakPoints
```
creepPoints
```
KahinaControlAgentProfile creepPoints
```

completePoints

KahinaControlAgentProfile completePoints

skipPoints
```
KahinaControlAgentProfile skipPoints
```
failPoints
```
KahinaControlAgentProfile failPoints
```
warnPoints
```
KahinaControlAgentProfile warnPoints
```

kahina

LogicProgrammingInstance<S extends LogicProgrammingState,G extends LogicProgrammingGUI,B extends LogicProgrammingBridge,P extends LogicProgrammingProject> kahina

Package org.kahina.lp.data.text
- Class org.kahina.lp.data.text.LogicProgrammingLineReference extends KahinaLineReference implements Serializable
  
  serialVersionUID:
  
  -2368235915459798532L
  - Serialized Fields
    - port
```
int port
```
    - extID
```
int extID
```
Package org.kahina.lp.gui
- Class org.kahina.lp.gui.LogicProgrammingMainWindow extends KahinaMainWindow implements Serializable
  
  serialVersionUID:
  
  -8044329699904664157L
Package org.kahina.lp.gui.profiler
- Class org.kahina.lp.gui.profiler.LogicProgrammingProfileWindow extends javax.swing.JFrame implements Serializable
  
  serialVersionUID:
  
  7993923998704688262L
Package org.kahina.lp.profiler
- Class org.kahina.lp.profiler.LogicProgrammingProfile extends java.lang.Object implements Serializable
  
  serialVersionUID:
  
  4869556554829662187L
  - Serialized Fields
    - callsByEntry
```
java.util.Map<K,V> callsByEntry
```
    - failsByEntry
```
java.util.Map<K,V> failsByEntry
```
    - exceptionsByEntry
```
java.util.Map<K,V> exceptionsByEntry
```
    - exitsByEntry
```
java.util.Map<K,V> exitsByEntry
```
    - redosByEntry
```
java.util.Map<K,V> redosByEntry
```
Package org.kahina.lp.visual.source
- Class org.kahina.lp.visual.source.PrologJEditSourceCodeViewPanel extends KahinaJEditSourceCodeViewPanel implements Serializable
  
  serialVersionUID:
  
  -5265391588326013752L
Package org.kahina.parse.data.cfg
- Class org.kahina.parse.data.cfg.ContextFreeGrammar extends KahinaObject implements Serializable
  - Serialized Fields
    - rules
```
java.util.Map<K,V> rules
```
    - symbols
```
java.util.Set<E> symbols
```
    - unaryLinks
```
java.util.Map<K,V> unaryLinks
```
    - lexicon
```
java.util.Map<K,V> lexicon
```
    - realizations
```
java.util.Map<K,V> realizations
```
Package org.kahina.parse.data.chart
- Class org.kahina.parse.data.chart.ParseChart extends KahinaMemChart implements Serializable
  
  serialVersionUID:
  
  7159555646116398244L
Package org.kahina.parse.data.project
- Class org.kahina.parse.data.project.TestSet extends KahinaObject implements Serializable
  - Serialized Fields
    - sentences
```
java.util.List<E> sentences
```
Package org.kahina.parse.visual.chart
- Class org.kahina.parse.visual.chart.ParseChartViewPanel extends KahinaChartViewPanel implements Serializable
  
  serialVersionUID:
  
  4358324550444966379L
Package org.kahina.parse.visual.project
- Class org.kahina.parse.visual.project.TestSetViewPanel extends KahinaViewPanel<TestSetView> implements Serializable
  
  serialVersionUID:
  
  -1889662532862461246L
Package org.kahina.prolog.editor
- Class org.kahina.prolog.editor.PrologJEditPanel extends KahinaJEditPanel implements Serializable
  
  serialVersionUID:
  
  -783118503897150009L
- Class org.kahina.prolog.editor.PrologMultifileJEditPanel extends KahinaMultifileJEditPanel implements Serializable
  
  serialVersionUID:
  
  2236124422015782405L
Package org.kahina.qtype
- Class org.kahina.qtype.QTypeState extends LogicProgrammingState implements Serializable
  - Serialized Fields
    - chart
```
KahinaChart chart
```
    - edgeToNode
```
java.util.HashMap<K,V> edgeToNode
```
    - nodeToEdge
```
java.util.HashMap<K,V> nodeToEdge
```
- Class org.kahina.qtype.QTypeStep extends SICStusPrologStep implements Serializable
  
  serialVersionUID:
  
  -119683692028732745L
  - Serialized Fields
    - goal
```
QTypeGoal goal
```
Package org.kahina.qtype.data.bindings
- Class org.kahina.qtype.data.bindings.QTypeGoal extends KahinaObject implements Serializable
  
  serialVersionUID:
  
  1626803422982352323L
  - Serialized Fields
    - fs
```
TraleSLDFS fs
```
    - tree
```
TraleSLDFS tree
```
    - in
```
TraleSLDFS in
```
    - out
```
TraleSLDFS out
```
Package org.kahina.qtype.data.project
- Class org.kahina.qtype.data.project.QTypeProject extends LogicProgrammingProject implements Serializable
  
  serialVersionUID:
  
  -2093492979848559602L
Package org.kahina.qtype.data.tree
- Class org.kahina.qtype.data.tree.QTypeLayerDecider extends LayerDecider implements Serializable
  
  serialVersionUID:
  
  -3668167056515761575L
  - Serialized Fields
    - layerByNode
```
java.util.Map<K,V> layerByNode
```
      Cache. Never gets invalidated because decisions are never revised as long as no nodes are removed (and no nodes are ever removed).
Package org.kahina.qtype.gui
- Class org.kahina.qtype.gui.QTypeMainWindow extends LogicProgrammingMainWindow implements Serializable
  
  serialVersionUID:
  
  -8044329699904664157L
  - Serialized Fields
    - grammarMenu
```
QTypeParseMenu grammarMenu
```
- Class org.kahina.qtype.gui.QTypeParseExampleMenu extends javax.swing.JMenu implements Serializable
  
  serialVersionUID:
  
  5337584282998019751L
  - Serialized Fields
    - kahina
```
KahinaInstance<S extends KahinaState,G extends KahinaGUI,B extends KahinaBridge,P extends KahinaProject> kahina
```
- Class org.kahina.qtype.gui.QTypeParseMenu extends javax.swing.JMenu implements Serializable
  
  serialVersionUID:
  
  -1290849167486564257L
  - Serialized Fields
    - compileItem
```
javax.swing.JMenuItem compileItem
```
    - parseItem
```
javax.swing.JMenuItem parseItem
```
    - exampleMenu
```
javax.swing.JMenu exampleMenu
```
    - restartItem
```
javax.swing.JMenuItem restartItem
```
Package org.kahina.qtype.visual.bindings
- Class org.kahina.qtype.visual.bindings.QTypeGoalViewPanel extends KahinaViewPanel<QTypeGoalView> implements Serializable
  
  serialVersionUID:
  
  6523823660347470157L
  - Serialized Fields
    - util
```
FSVisualizationUtility util
```
    - innerPanel
```
javax.swing.JPanel innerPanel
```
Package org.kahina.sicstus
- Class org.kahina.sicstus.SICStusPrologStep extends LogicProgrammingStep implements Serializable
  
  serialVersionUID:
  
  -119683692028732745L
  - Serialized Fields
    - bindings
```
SICStusPrologVariableBindingSet bindings
```
Package org.kahina.sicstus.data.bindings
- Class org.kahina.sicstus.data.bindings.SICStusPrologVariableBindingSet extends KahinaObject implements Serializable
  
  serialVersionUID:
  
  -4543111507445440926L
  - Serialized Fields
    - variableNames
```
java.util.SortedSet<E> variableNames
```
    - inValues
```
java.util.Map<K,V> inValues
```
    - outValues
```
java.util.Map<K,V> outValues
```
Package org.kahina.sicstus.visual.bindings
- Class org.kahina.sicstus.visual.bindings.SICStusPrologVariableBindingSetViewPanel extends KahinaViewPanel<SICStusPrologVariableBindingSetView> implements Serializable
  
  serialVersionUID:
  
  1373740134949605494L
  - Serialized Fields
    - tableModel
```
SICStusPrologVariableBindingTableModel tableModel
```
    - table
```
javax.swing.JTable table
```
- Class org.kahina.sicstus.visual.bindings.SICStusPrologVariableBindingTableModel extends javax.swing.table.AbstractTableModel implements Serializable
  
  serialVersionUID:
  
  2591048016192505705L
  - Serialized Fields
    - data
```
java.lang.String[][] data
```
    - columnNames
```
java.lang.String[] columnNames
```
Package org.kahina.swi
- Class org.kahina.swi.SWIPrologStep extends LogicProgrammingStep implements Serializable
  
  serialVersionUID:
  
  -119683692028732745L
  - Serialized Fields
    - inBindings
```
SWIPrologVariableBindingSet inBindings
```
    - outBindings
```
SWIPrologVariableBindingSet outBindings
```
Package org.kahina.swi.data.bindings
- Class org.kahina.swi.data.bindings.SWIPrologVariableBindingSet extends KahinaObject implements Serializable
  
  serialVersionUID:
  
  9032602517905562761L
  - Serialized Fields
    - keys
```
java.lang.String[] keys
```
    - values
```
java.lang.String[] values
```
Package org.kahina.swi.data.tree
- Class org.kahina.swi.data.tree.SWIPrologLayerDecider extends DefaultLayerDecider implements Serializable
  
  serialVersionUID:
  
  4552616211113705690L
  - Serialized Fields
    - limit
```
int limit
```
Package org.kahina.swi.visual.bindings
- Class org.kahina.swi.visual.bindings.SWIPrologVariableBindingSetViewPanel extends KahinaViewPanel<SWIPrologVariableBindingSetView> implements Serializable
  
  serialVersionUID:
  
  1373740134949605494L
  - Serialized Fields
    - tableModel
```
SWIPrologVariableBindingTableModel tableModel
```
    - table
```
javax.swing.JTable table
```
- Class org.kahina.swi.visual.bindings.SWIPrologVariableBindingTableModel extends javax.swing.table.AbstractTableModel implements Serializable
  
  serialVersionUID:
  
  2591048016192505705L
  - Serialized Fields
    - data
```
java.lang.String[][] data
```
    - columnNames
```
java.lang.String[] columnNames
```
Package org.kahina.tralesld
- Class org.kahina.tralesld.TraleSLDState extends LogicProgrammingState implements Serializable
  
  serialVersionUID:
  
  -6388044339949017641L
  - Serialized Fields
    - chart
```
KahinaChart chart
```
    - signature
```
TraleSLDSignature signature
```
    - trale
```
AuxiliaryTraleInstance trale
```
    - edgeToNode
```
java.util.HashMap<K,V> edgeToNode
```
    - nodeToEdge
```
java.util.HashMap<K,V> nodeToEdge
```
- Class org.kahina.tralesld.TraleSLDStep extends LogicProgrammingStep implements Serializable
  
  serialVersionUID:
  
  -43108052730328464L
  - Serialized Fields
    - startFeatStruct
```
TraleSLDFS startFeatStruct
```
    - endFeatStruct
```
TraleSLDFS endFeatStruct
```
    - startBindings
```
TraleSLDVariableBindingSet startBindings
```
    - endBindings
```
TraleSLDVariableBindingSet endBindings
```
Package org.kahina.tralesld.data.fs
- Class org.kahina.tralesld.data.fs.TraleSLDFS extends KahinaObject implements Serializable
  
  serialVersionUID:
  
  -4364052716085296822L
- Class org.kahina.tralesld.data.fs.TraleSLDPackedFSNonTerminal extends TraleSLDFS implements Serializable
  
  serialVersionUID:
  
  -4488083322946006628L
  - Serialized Fields
    - children
```
java.util.List<E> children
```
- Class org.kahina.tralesld.data.fs.TraleSLDPackedFSTerminal extends TraleSLDFS implements Serializable
  
  serialVersionUID:
  
  8146983630905086694L
  - Serialized Fields
    - string
```
java.lang.String string
```
- Class org.kahina.tralesld.data.fs.TraleSLDVariableBinding extends KahinaObject implements Serializable
  
  serialVersionUID:
  
  -1606728351152682772L
  - Serialized Fields
    - varName
```
java.lang.String varName
```
    - tag
```
java.lang.String tag
```
    - type
```
java.lang.String type
```
    - fs
```
TraleSLDFS fs
```
- Class org.kahina.tralesld.data.fs.TraleSLDVariableBindingSet extends KahinaObject implements Serializable
  
  serialVersionUID:
  
  -2345044311794474844L
  - Serialized Fields
    - bindings
```
java.util.TreeMap<K,V> bindings
```
Package org.kahina.tralesld.data.project
- Class org.kahina.tralesld.data.project.TraleProject extends LogicProgrammingProject implements Serializable
  
  serialVersionUID:
  
  194694387410246329L
  - Serialized Fields
    - signatureFile
```
java.io.File signatureFile
```
    - theoryFiles
```
java.util.List<E> theoryFiles
```
    - testSet
```
TestSet testSet
```
Package org.kahina.tralesld.data.signature
- Class org.kahina.tralesld.data.signature.TraleSLDSignature extends KahinaObject implements Serializable
  
  serialVersionUID:
  
  7411049956894696227L
  - Serialized Fields
    - types
```
java.util.List<E> types
```
    - features
```
java.util.List<E> features
```
    - subtypes
```
java.util.Map<K,V> subtypes
```
    - supertypes
```
java.util.Map<K,V> supertypes
```
    - paths
```
java.util.Map<K,V> paths
```
    - featIntroType
```
java.util.Map<K,V> featIntroType
```
    - typeRestr
```
java.util.Map<K,V> typeRestr
```
    - usage
```
java.util.Map<K,V> usage
```
Package org.kahina.tralesld.data.tree
- Class org.kahina.tralesld.data.tree.TraleSLDLayerDecider extends DefaultLayerDecider implements Serializable
  
  serialVersionUID:
  
  4552616211113705690L
  - Serialized Fields
    - limit
```
int limit
```
Package org.kahina.tralesld.data.workbench
- Class org.kahina.tralesld.data.workbench.FeatureWorkbench extends KahinaObject implements Serializable
  - Serialized Fields
    - obj
```
java.util.HashMap<K,V> obj
```
    - signatureFile
```
java.lang.String signatureFile
```
    - theoryFile
```
java.lang.String theoryFile
```
    - signature
```
TraleSLDSignature signature
```
Package org.kahina.tralesld.gui
- Class org.kahina.tralesld.gui.TraleSLDMainWindow extends LogicProgrammingMainWindow implements Serializable
  
  serialVersionUID:
  
  -8044329699904664157L
  - Serialized Fields
    - grammarMenu
```
TraleSLDParseMenu grammarMenu
```
- Class org.kahina.tralesld.gui.TraleSLDParseExampleMenu extends javax.swing.JMenu implements Serializable
  
  serialVersionUID:
  
  5337584282998019751L
  - Serialized Fields
    - kahina
```
KahinaInstance<S extends KahinaState,G extends KahinaGUI,B extends KahinaBridge,P extends KahinaProject> kahina
```
- Class org.kahina.tralesld.gui.TraleSLDParseMenu extends javax.swing.JMenu implements Serializable
  
  serialVersionUID:
  
  -1290849167486564257L
  - Serialized Fields
    - compileItem
```
javax.swing.JMenuItem compileItem
```
    - parseItem
```
javax.swing.JMenuItem parseItem
```
    - exampleMenu
```
javax.swing.JMenu exampleMenu
```
    - restartItem
```
javax.swing.JMenuItem restartItem
```
- Class org.kahina.tralesld.gui.TraleSLDWorkbenchMenu extends javax.swing.JMenu implements Serializable
  
  serialVersionUID:
  
  1091733910119223896L
Package org.kahina.tralesld.visual.fs
- Class org.kahina.tralesld.visual.fs.TraleSLDFeatureStructureEditor extends TraleSLDFeatureStructureViewPanel implements Serializable
  
  serialVersionUID:
  
  -7070400847889372946L
  - Serialized Fields
    - blockPanel
```
GraleJEditorBlockPanel blockPanel
```
    - sig
```
TraleSLDSignature sig
```
    - grisuString
```
java.lang.String grisuString
```
    - data
```
IDataPackage data
```
    - contextPath
```
java.util.List<E> contextPath
```
    - contextBlock
```
Block contextBlock
```
    - contextStructure
```
IEntity contextStructure
```
    - contextStructureType
```
java.lang.String contextStructureType
```
    - contextAttrBlock
```
Block contextAttrBlock
```
    - contextAttrModel
```
IFeatureValuePair contextAttrModel
```
    - contextAttr
```
java.lang.String contextAttr
```
    - contextParentBlock
```
Block contextParentBlock
```
    - contextParentStructure
```
IEntity contextParentStructure
```
    - contextParentStructureType
```
java.lang.String contextParentStructureType
```
    - contextListIndex
```
int contextListIndex
```
    - bufferedStructure
```
java.lang.String bufferedStructure
```
    - identityMode
```
boolean identityMode
```
    - cachedPath
```
java.util.List<E> cachedPath
```
    - trale
```
AuxiliaryTraleInstance trale
```
    - editingMode
```
int editingMode
```
    - kahina
```
KahinaInstance<S extends KahinaState,G extends KahinaGUI,B extends KahinaBridge,P extends KahinaProject> kahina
```
- Class org.kahina.tralesld.visual.fs.TraleSLDFeatureStructureEditorMenu extends javax.swing.JPopupMenu implements Serializable
- Class org.kahina.tralesld.visual.fs.TraleSLDFeatureStructureViewPanel extends KahinaViewPanel<TraleSLDFeatureStructureView> implements Serializable
  
  serialVersionUID:
  
  -8507986910087886388L
  - Serialized Fields
    - innerPanel
```
javax.swing.JPanel innerPanel
```
    - util
```
FSVisualizationUtility util
```
- Class org.kahina.tralesld.visual.fs.TraleSLDVariableBindingSetViewPanel extends KahinaViewPanel<TraleSLDVariableBindingSetView> implements Serializable
  
  serialVersionUID:
  
  8545282386910165013L
  - Serialized Fields
    - table
```
javax.swing.JTable table
```
    - innerPanel
```
javax.swing.JPanel innerPanel
```
    - tableModel
```
TraleSLDVariableBindingTableModel tableModel
```
    - util
```
FSVisualizationUtility util
```
- Class org.kahina.tralesld.visual.fs.TraleSLDVariableBindingTableModel extends javax.swing.table.AbstractTableModel implements Serializable
  
  serialVersionUID:
  
  3379369094266283475L
  - Serialized Fields
    - variableNames
```
java.lang.String[] variableNames
```
    - types
```
java.lang.String[] types
```
    - grisuMessages
```
java.lang.String[] grisuMessages
```
Package org.kahina.tralesld.visual.signature
- Class org.kahina.tralesld.visual.signature.TraleSLDSignatureAppropriatenessViewPanel extends KahinaViewPanel<TraleSLDSignatureAppropriatenessView> implements Serializable
  
  serialVersionUID:
  
  4258442224074530109L
  - Serialized Fields
    - htmlPane
```
javax.swing.JEditorPane htmlPane
```
- Class org.kahina.tralesld.visual.signature.TraleSLDSignatureHierarchyViewPanel extends KahinaViewPanel<TraleSLDSignatureHierarchyView> implements Serializable
  
  serialVersionUID:
  
  5154672597479209987L
  - Serialized Fields
    - htmlPane
```
javax.swing.JTextPane htmlPane
```
- Class org.kahina.tralesld.visual.signature.TraleSLDSignatureUsageViewPanel extends KahinaViewPanel<TraleSLDSignatureUsageView> implements Serializable
  
  serialVersionUID:
  
  6789098188340983733L
  - Serialized Fields
    - htmlPane
```
javax.swing.JEditorPane htmlPane
```

Package org.kahina.tralesld.visual.workbench

Class org.kahina.tralesld.visual.workbench.FeatureWorkbenchContextMenu extends javax.swing.JPopupMenu implements Serializable

Class org.kahina.tralesld.visual.workbench.FeatureWorkbenchViewPanel extends KahinaViewPanel<FeatureWorkbenchView> implements Serializable

serialVersionUID:: 8913866572343111847L

Serialized Fields

msgLabel
```
javax.swing.JLabel msgLabel
```
signatureFileLabel
```
javax.swing.JLabel signatureFileLabel
```
theoryFileLabel
```
javax.swing.JLabel theoryFileLabel
```

exportSelectionItem

javax.swing.JMenuItem exportSelectionItem

loadSignatureItem
```
javax.swing.JMenuItem loadSignatureItem
```
compileTheoryItem
```
javax.swing.JMenuItem compileTheoryItem
```
discardTheoryItem
```
javax.swing.JMenuItem discardTheoryItem
```

reloadSignatureItem

javax.swing.JMenuItem reloadSignatureItem

recompileTheoryItem

javax.swing.JMenuItem recompileTheoryItem

fsMenu
```
javax.swing.JMenu fsMenu
```
newTypeInstanceMenu
```
javax.swing.JMenu newTypeInstanceMenu
```

newLexiconInstanceMenu

javax.swing.JMenu newLexiconInstanceMenu

exportFSItem
```
javax.swing.JMenuItem exportFSItem
```
theoryMGSItem
```
javax.swing.JMenuItem theoryMGSItem
```
sigMGUItem
```
javax.swing.JMenuItem sigMGUItem
```
theMGUItem
```
javax.swing.JMenuItem theMGUItem
```
editModeMenu
```
javax.swing.JMenu editModeMenu
```
freeModeItem
```
javax.swing.JMenuItem freeModeItem
```
tfModeItem
```
javax.swing.JMenuItem tfModeItem
```
ttfModeItem
```
javax.swing.JMenuItem ttfModeItem
```
list
```
javax.swing.JList<E> list
```
editor
```
TraleSLDFeatureStructureEditor editor
```
bufferedStructure
```
java.lang.String bufferedStructure
```
lastDisplayID
```
java.lang.String lastDisplayID
```

kahina

KahinaInstance<S extends KahinaState,G extends KahinaGUI,B extends KahinaBridge,P extends KahinaProject> kahina

Package org.kahina.tulipa
- Class org.kahina.tulipa.TulipaState extends KahinaState implements Serializable
  - Serialized Fields
    - dag
```
KahinaDAG dag
```
    - grammar
```
TulipaGrammar grammar
```
- Class org.kahina.tulipa.TulipaStep extends KahinaStep implements Serializable
  
  serialVersionUID:
  
  3677954377223379901L
  - Serialized Fields
    - itemDesc
```
java.lang.String itemDesc
```
    - externalID
```
int externalID
```
Package org.kahina.tulipa.data.grammar
- Class org.kahina.tulipa.data.grammar.TulipaGrammar extends KahinaObject implements Serializable
  
  serialVersionUID:
  
  8954717071257944662L
  - Serialized Fields
    - rcgClauses
```
java.util.HashMap<K,V> rcgClauses
```
Package org.kahina.tulipa.visual.grammar
- Class org.kahina.tulipa.visual.grammar.TulipaClauseListModel extends javax.swing.AbstractListModel implements Serializable
  
  serialVersionUID:
  
  -5222437359574027115L
  - Serialized Fields
    - grammar
```
TulipaGrammar grammar
```
- Class org.kahina.tulipa.visual.grammar.TulipaGrammarViewPanel extends KahinaViewPanel<TulipaGrammarView> implements Serializable
  
  serialVersionUID:
  
  8545282386910165013L
  - Serialized Fields
    - clauseList
```
javax.swing.JList<E> clauseList
```
    - innerPanel
```
javax.swing.JPanel innerPanel
```
    - clauseListModel
```
TulipaClauseListModel clauseListModel
```

Serialized Form

Package org.kahina.core

Class org.kahina.core.KahinaException extends java.lang.RuntimeException implements Serializable

Class org.kahina.core.KahinaState extends java.lang.Object implements Serializable

Serialized Fields

consoleMessages

consoleLines

warnThresholdByBreakpoint

matchCountByBreakpoint

selectedStepID

nextStepID

kahina

Class org.kahina.core.KahinaStep extends KahinaObject implements Serializable

Package org.kahina.core.control

Class org.kahina.core.control.KahinaSimpleProperty extends KahinaStepProperty implements Serializable

Serialized Fields

type

rel

intValue

stringValue

regexValue

leftArg

rightArg

Package org.kahina.core.data

Class org.kahina.core.data.KahinaObject extends java.lang.Object implements Serializable

Serialized Fields

needsUpdate

Package org.kahina.core.data.agent

Class org.kahina.core.data.agent.KahinaBreakpoint extends KahinaObject implements Serializable

Serialized Fields

name

active

signalColor

pattern

type

Class org.kahina.core.data.agent.KahinaBreakpointProfile extends KahinaObject implements Serializable

Serialized Fields

treeBreakpoints

Class org.kahina.core.data.agent.KahinaControlAgent extends KahinaObject implements Serializable

Serialized Fields

kahina

name

active

signalColor

sensor

actuator

Class org.kahina.core.data.agent.KahinaControlAgentProfile extends KahinaObject implements Serializable

Serialized Fields

controlAgents

actuator

Package org.kahina.core.data.agent.patterns

Class org.kahina.core.data.agent.patterns.PatternFormatException extends java.lang.Exception implements Serializable

Serialized Fields

desiredType

badString

Class org.kahina.core.data.agent.patterns.TreePattern extends java.lang.Object implements Serializable

Serialized Fields

root

Class org.kahina.core.data.agent.patterns.TreePatternNode extends java.lang.Object implements Serializable

Serialized Fields

pattern

parent

children

Package org.kahina.core.data.chart

Class org.kahina.core.data.chart.KahinaChart extends KahinaObject implements Serializable

Serialized Fields

nextEdgeID

Class org.kahina.core.data.chart.KahinaMemChart extends KahinaChart implements Serializable

Serialized Fields

leftBound

rightBound

leftmostCovered

rightmostCovered

segmentCaptions

leftBounds

rightBounds

edgeCaptions

status

motherEdges

daughterEdges