org.kahina.logic.sat.visual.free

Class FormulaTreeView

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

All Implemented Interfaces:

KahinaListener

Direct Known Subclasses:

SATCheckingFormulaTreeView

public class FormulaTreeView
extends KahinaTreeView

Field Summary

Fields

Modifier and Type	Field and Description
java.util.Map<java.lang.Integer,BooleanFormula>	nodeToFrm
java.util.Map<java.lang.Integer,java.lang.Integer>	numberNegationLayers

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

config, VERBOSE

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

kahina, model, needsRedraw

Constructor Summary

Constructors

Constructor and Description
FormulaTreeView(KahinaInstance<?,?,?,?> kahina)

Method Summary

Methods

Modifier and Type	Method and Description
void	cycleDecollapsePrune(int nodeID)
void	displayFormula(BooleanFormula formula)
void	displayText(java.lang.String text)
void	formulaCollapse(int nodeID)
void	formulaDecollapse(int nodeID)
boolean	isConjunct(int nodeID)
boolean	isConjunction(int nodeID)
javax.swing.JComponent	makePanel() Returns the panel that represents this view in the GUI.
void	recursiveDecollapse(int nodeID)

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

Field Detail

nodeToFrm

public java.util.Map<java.lang.Integer,BooleanFormula> nodeToFrm

numberNegationLayers

public java.util.Map<java.lang.Integer,java.lang.Integer> numberNegationLayers

Constructor Detail

FormulaTreeView

public FormulaTreeView(KahinaInstance<?,?,?,?> kahina)

Method Detail

displayFormula

public void displayFormula(BooleanFormula formula)

displayText

public void displayText(java.lang.String text)

recursiveDecollapse

public void recursiveDecollapse(int nodeID)

formulaDecollapse

public void formulaDecollapse(int nodeID)

formulaCollapse

public void formulaCollapse(int nodeID)

cycleDecollapsePrune

public void cycleDecollapsePrune(int nodeID)

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 KahinaTreeView

Returns:

isConjunction

public boolean isConjunction(int nodeID)

isConjunct

public boolean isConjunct(int nodeID)