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

Class KahinaGroupSatInstanceGraphView

java.lang.Object

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

org.kahina.core.visual.graph.KahinaGraphView

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

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

All Implemented Interfaces:

KahinaListener

public class KahinaGroupSatInstanceGraphView
extends KahinaSatInstanceGraphView

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
KahinaGroupSatInstanceGraphView(KahinaInstance<?,?,?,?> kahina, KahinaGraphLayouter layout)

Method Summary

Methods

Modifier and Type	Method and Description
void	display(GroupCnfSatInstance sat)
void	displayGroupsByComplementaryLiterals()
void	displayGroupsByLiterals()
void	displayGroupsByVariables()
void	displayLiteralsByGroups()
void	displayVariablesByGroups()

Methods inherited from class org.kahina.logic.sat.visual.cnf.graph.KahinaSatInstanceGraphView

display, displayClausesByComplementaryLiterals, displayClausesByLiterals, displayClausesByVariables, displayLiteralsByClauses, displayText, displayVariablesByClauses, makePanel, setVisible, 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

KahinaGroupSatInstanceGraphView

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

Method Detail

display

public void display(GroupCnfSatInstance sat)

displayGroupsByVariables

public void displayGroupsByVariables()

displayGroupsByLiterals

public void displayGroupsByLiterals()

displayGroupsByComplementaryLiterals

public void displayGroupsByComplementaryLiterals()

displayVariablesByGroups

public void displayVariablesByGroups()

displayLiteralsByGroups

public void displayLiteralsByGroups()