org.kahina.logic.sat.data.proof

Class ResolutionProofDAG

java.lang.Object

org.kahina.core.data.KahinaObject

org.kahina.core.data.dag.KahinaDAG

org.kahina.core.data.dag.KahinaMemDAG

org.kahina.logic.sat.data.proof.ResolutionProofDAG

All Implemented Interfaces:

java.io.Serializable

public class ResolutionProofDAG
extends KahinaMemDAG

See Also:

Serialized Form

Field Summary

Fields inherited from class org.kahina.core.data.dag.KahinaMemDAG

collapsed, edgeLabels, endNodes, incomingEdges, nextEdgeID, nextNodeID, nodeCaptions, outgoingEdges, roots, startNodes, status

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

needsUpdate

Constructor Summary

Constructors

Constructor and Description
ResolutionProofDAG(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)
int	getRefutationNode()
void	setNodeClause(int id, java.util.List<java.lang.Integer> clause)

Methods inherited from class org.kahina.core.data.dag.KahinaMemDAG

addEdge, addEdge, addNode, addNode, collapse, decollapse, decollapseAll, findShortestPathFromRoot, getEdgeIDIterator, getEdgeLabel, getEndNode, getIncomingEdges, getNextFreeEdgeID, getNextFreeNodeID, getNodeIDIterator, getNodeStatus, getOutgoingEdges, getRoots, getSize, getStartNode, getVisibleChildren, getVisibleParents, importXML, isCollapsed, nodeIsVisible, setEdgeLabel, setEndNode, setNodeCaption, setNodeStatus, setStartNode

Methods inherited from class org.kahina.core.data.dag.KahinaDAG

addEdgeNoDuplicates, addEdgeNoDuplicates, exportXML, getEdgeBetween, toggleCollapse

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

needsUpdate, requireUpdate

Methods inherited from class java.lang.Object

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

Constructor Detail

ResolutionProofDAG

public ResolutionProofDAG(CnfSatInstance satInstance)

Method Detail

getRefutationNode

public int getRefutationNode()

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 KahinaMemDAG