org.kahina.logic.sat.freemuc.visual

Class SATCheckingFormulaTreeView

java.lang.Object

org.kahina.core.visual.KahinaView<KahinaTree>

org.kahina.core.visual.tree.KahinaAbstractTreeView

org.kahina.core.visual.tree.KahinaTreeView

org.kahina.logic.sat.visual.free.FormulaTreeView

org.kahina.logic.sat.freemuc.visual.SATCheckingFormulaTreeView

All Implemented Interfaces:

KahinaListener

public class SATCheckingFormulaTreeView
extends FormulaTreeView

Field Summary

Fields inherited from class org.kahina.logic.sat.visual.free.FormulaTreeView

nodeToFrm, numberNegationLayers

Fields inherited from class org.kahina.core.visual.tree.KahinaTreeView

config, VERBOSE

Fields inherited from class org.kahina.core.visual.KahinaView

model, needsRedraw

Constructor Summary

Constructors

Constructor and Description
SATCheckingFormulaTreeView(FreeMUCInstance kahina)

Method Summary

Methods

Modifier and Type	Method and Description
javax.swing.JComponent	makePanel() Returns the panel that represents this view in the GUI.

Methods inherited from class org.kahina.logic.sat.visual.free.FormulaTreeView

cycleDecollapsePrune, displayFormula, displayText, formulaCollapse, formulaDecollapse, isConjunct, isConjunction, recursiveDecollapse

Methods inherited from class org.kahina.core.visual.tree.KahinaTreeView

avoidClashesByAdaptingHorizontalDistance, calculateCoordinates, display, display, displaySecondaryTree, displaysNode, getConfig, getContentfulTreeModel, getDisplayHeight, getDisplayWidth, getEdgeStyle, getFontMetrics, getMarkedNode, getNodeBorderColor, getNodeColor, getNodeFont, getNodeHeight, getNodeX, getNodeY, getSecondaryModel, getTreeLayer, getTreeModel, isSecondDimensionDisplayed, needsRedraw, nodeAtCoordinates, nodeIsVisible, processEvent, recalculate, resetAllStructures, setConfig, setMarkedNode, setNodeBorderColor, setStatusColorEncoding, setStatusFontEncoding, setTreeLayer, showLevels, swapDimensions

Methods inherited from class org.kahina.core.visual.KahinaView

display, doDisplay, getModel, getTitle, isVisible, makeEditorPanel, processEvent, requireRedraw, setConfig, setTitle, setVisible

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SATCheckingFormulaTreeView

public SATCheckingFormulaTreeView(FreeMUCInstance kahina)

Method Detail

makePanel

public javax.swing.JComponent makePanel()

Description copied from class: KahinaView

Returns the panel that represents this view in the GUI. This method must be invoked from the event dispatch thread.

Overrides:

makePanel in class FormulaTreeView

Returns: