org.kahina.logic.sat.visual.cnf.graph

Class KahinaSatInstanceGraphView

java.lang.Object

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

org.kahina.core.visual.graph.KahinaGraphView

org.kahina.logic.sat.visual.cnf.graph.KahinaSatInstanceGraphView

All Implemented Interfaces:

KahinaListener

Direct Known Subclasses:

KahinaGroupSatInstanceGraphView

public class KahinaSatInstanceGraphView
extends KahinaGraphView

Field Summary

Fields inherited from class org.kahina.core.visual.graph.KahinaGraphView

config, layout, MARKING_COLOR, specialVertices, vertexBorderColor, visibleVertices

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

kahina, model, needsRedraw

Constructor Summary

Constructors

Constructor and Description
KahinaSatInstanceGraphView(KahinaInstance<?,?,?,?> kahina, KahinaGraphLayouter layout)

Method Summary

Methods

Modifier and Type	Method and Description
void	display(CnfSatInstance sat)
void	displayClausesByComplementaryLiterals()
void	displayClausesByLiterals()
void	displayClausesByVariables()
void	displayLiteralsByClauses()
void	displayText(java.lang.String text)
void	displayVariablesByClauses()
javax.swing.JComponent	makePanel() Returns the panel that represents this view in the GUI.
void	setVisible(boolean visible)
boolean	showsClauseGraph()

Methods inherited from class org.kahina.core.visual.graph.KahinaGraphView

display, exportVisibleSubgraphTGF, flushRedrawAgenda, getConfig, getDisplayHeight, getDisplayWidth, getEdgeColor, getLayouter, getMarkedVertex, getRedrawAgenda, getVertexBorderColor, getVertexColor, getVertexFont, getVertexHeight, getVertexX, getVertexY, getVisibleNeighbors, getVisibleVertices, getXCoordinates, getYCoordinates, isEdgeVisible, isVertexSpecial, isVertexVisible, resetLayoutStructures, setAllVisible, setConfig, setLayouter, setMarkedVertex, setSpecialVertices, setVertexBorderColor, setVertexStatusEdgeColorEncoding, setVertexStatusVertexColorEncoding, setVisibleVertices, turnSpecialVerticesBackToNormal

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

display, doDisplay, getModel, getTitle, isVisible, makeEditorPanel, needsRedraw, processEvent, processEvent, recalculate, requireRedraw, setConfig, setTitle

Methods inherited from class java.lang.Object

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

Constructor Detail

KahinaSatInstanceGraphView

public KahinaSatInstanceGraphView(KahinaInstance<?,?,?,?> kahina,
                          KahinaGraphLayouter layout)

Method Detail

display

public void display(CnfSatInstance sat)

displayText

public void displayText(java.lang.String text)

showsClauseGraph

public boolean showsClauseGraph()

displayClausesByVariables

public void displayClausesByVariables()

displayClausesByLiterals

public void displayClausesByLiterals()

displayClausesByComplementaryLiterals

public void displayClausesByComplementaryLiterals()

displayVariablesByClauses

public void displayVariablesByClauses()

displayLiteralsByClauses

public void displayLiteralsByClauses()

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 KahinaGraphView

Returns:

setVisible

public void setVisible(boolean visible)

Overrides:

setVisible in class KahinaView<KahinaGraph>