org.kahina.logic.sat.data.proof

Class ResolutionProofTree

java.lang.Object

org.kahina.core.data.KahinaObject

org.kahina.core.data.tree.KahinaTree

org.kahina.core.data.tree.KahinaUnlayeredMemTree

org.kahina.logic.sat.data.proof.ResolutionProofTree

All Implemented Interfaces:

java.io.Serializable

public class ResolutionProofTree
extends KahinaUnlayeredMemTree

See Also:

Serialized Form

Field Summary

Fields inherited from class org.kahina.core.data.tree.KahinaUnlayeredMemTree

children, collapsed, edgeLabels, layers, nodeCaptions, parents, status

Fields inherited from class org.kahina.core.data.tree.KahinaTree

decider

Fields inherited from class org.kahina.core.data.KahinaObject

needsUpdate

Constructor Summary

Constructors

Constructor and Description
ResolutionProofTree(CnfSatInstance satInstance)

Method Summary

Methods

Modifier and Type	Method and Description
java.util.List<java.lang.Integer>	getClauseForNode(int nodeID)
java.lang.String	getNodeCaption(int id)
java.util.List<java.lang.Integer>	getVarRelevanceOrdering()
void	setNodeClause(int id, java.util.List<java.lang.Integer> clause)

Methods inherited from class org.kahina.core.data.tree.KahinaUnlayeredMemTree

addChild, addChildAddListener, addNode, addNode, clear, collapse, collectLeaves, decollapse, decollapseAll, getAllNodeIDs, getBestEquivalent, getChildren, getChildren, getEdgeLabel, getLayer, getLeaves, getNextFreeID, getNodeStatus, getParent, getParent, getRootID, getRootID, getSize, importXML, isCollapsed, removeChildAddListener, removeLeaf, setEdgeLabel, setLayer, setNodeCaption, setNodeStatus, toString

Methods inherited from class org.kahina.core.data.tree.KahinaTree

announceChange, exportXML, getLayerDecider, getPrimaryModel, getReferenceNode, getRootID, hasCollapsedAncestor, needsUpdate, setLayerDecider, setPrimaryModel, setReferenceNode, setRootID, toggleCollapse

Methods inherited from class org.kahina.core.data.KahinaObject

requireUpdate

Methods inherited from class java.lang.Object

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

Constructor Detail

ResolutionProofTree

public ResolutionProofTree(CnfSatInstance satInstance)

Method Detail

getVarRelevanceOrdering

public java.util.List<java.lang.Integer> getVarRelevanceOrdering()

setNodeClause

public void setNodeClause(int id,
                 java.util.List<java.lang.Integer> clause)

getClauseForNode

public java.util.List<java.lang.Integer> getClauseForNode(int nodeID)

getNodeCaption

public java.lang.String getNodeCaption(int id)

Overrides:

getNodeCaption in class KahinaUnlayeredMemTree