org.kahina.core.data.tree

Class KahinaUnlayeredMemTree

java.lang.Object

org.kahina.core.data.KahinaObject

org.kahina.core.data.tree.KahinaTree

org.kahina.core.data.tree.KahinaUnlayeredMemTree

All Implemented Interfaces:

java.io.Serializable

Direct Known Subclasses:

KahinaMemTree, ResolutionProofTree

public class KahinaUnlayeredMemTree
extends KahinaTree

A simple Kahina tree implementation which does not support layers.

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.Map<java.lang.Integer,java.util.List<java.lang.Integer>>	children
protected java.util.Set<java.lang.Integer>	collapsed
protected java.util.Map<java.lang.Integer,java.lang.String>	edgeLabels
protected java.util.Map<java.lang.Integer,java.lang.Integer>	layers
protected java.util.Map<java.lang.Integer,java.lang.String>	nodeCaptions
protected java.util.Map<java.lang.Integer,java.lang.Integer>	parents
protected java.util.Map<java.lang.Integer,java.lang.Integer>	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
KahinaUnlayeredMemTree()
KahinaUnlayeredMemTree(LayerDecider decider)

Method Summary

Methods

Modifier and Type	Method and Description
void	addChild(int parent, int child)
void	addChildAddListener(KahinaTreeChildAddListener listener)
void	addNode(int id, java.lang.String caption, java.lang.String label, int nodeStatus)
int	addNode(java.lang.String caption, java.lang.String label, int nodeStatus)
void	clear() Clears the tree model.
void	collapse(int nodeID)
protected void	collectLeaves(int nodeID, java.util.List<java.lang.Integer> leaves)
void	decollapse(int nodeID)
void	decollapseAll()
java.util.Set<java.lang.Integer>	getAllNodeIDs() Gets all the node IDs in ascending order, useful for bottom-up traversal.
int	getBestEquivalent(int nodeID, int layerID)
java.util.List<java.lang.Integer>	getChildren(int nodeID)
java.util.List<java.lang.Integer>	getChildren(int nodeID, int layerID, boolean stopAtCornerstones)
java.lang.String	getEdgeLabel(int nodeID)
int	getLayer(int nodeID)
java.util.List<java.lang.Integer>	getLeaves()
protected int	getNextFreeID()
java.lang.String	getNodeCaption(int nodeID)
int	getNodeStatus(int nodeID)
int	getParent(int nodeID)
int	getParent(int nodeID, int layerID)
int	getRootID(int layerID)
int	getRootID(int layerID, int referenceNode)
int	getSize()
static KahinaTree	importXML(org.w3c.dom.Document dom)
boolean	isCollapsed(int nodeID)
void	removeChildAddListener(KahinaTreeChildAddListener listener)
boolean	removeLeaf(int id)
void	setEdgeLabel(int nodeID, java.lang.String label)
void	setLayer(int nodeID, int layer)
void	setNodeCaption(int nodeID, java.lang.String caption)
void	setNodeStatus(int nodeID, int newStatus)
java.lang.String	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

Field Detail

parents

protected java.util.Map<java.lang.Integer,java.lang.Integer> parents

children

protected java.util.Map<java.lang.Integer,java.util.List<java.lang.Integer>> children

nodeCaptions

protected java.util.Map<java.lang.Integer,java.lang.String> nodeCaptions

edgeLabels

protected java.util.Map<java.lang.Integer,java.lang.String> edgeLabels

status

protected java.util.Map<java.lang.Integer,java.lang.Integer> status

collapsed

protected java.util.Set<java.lang.Integer> collapsed

layers

protected java.util.Map<java.lang.Integer,java.lang.Integer> layers

Constructor Detail

KahinaUnlayeredMemTree

public KahinaUnlayeredMemTree()

KahinaUnlayeredMemTree

public KahinaUnlayeredMemTree(LayerDecider decider)

Method Detail

getAllNodeIDs

public java.util.Set<java.lang.Integer> getAllNodeIDs()

Gets all the node IDs in ascending order, useful for bottom-up traversal.

Specified by:

getAllNodeIDs in class KahinaTree

Returns:

all the node IDs in a tree set, in descending order

getRootID

public int getRootID(int layerID)

Specified by:

getRootID in class KahinaTree

getRootID

public int getRootID(int layerID,
            int referenceNode)

Specified by:

getRootID in class KahinaTree

addChild

public void addChild(int parent,
            int child)

Specified by:

addChild in class KahinaTree

addChildAddListener

public void addChildAddListener(KahinaTreeChildAddListener listener)

Specified by:

addChildAddListener in class KahinaTree

removeChildAddListener

public void removeChildAddListener(KahinaTreeChildAddListener listener)

Specified by:

removeChildAddListener in class KahinaTree

getParent

public int getParent(int nodeID,
            int layerID)

Specified by:

getParent in class KahinaTree

getBestEquivalent

public int getBestEquivalent(int nodeID,
                    int layerID)

Specified by:

getBestEquivalent in class KahinaTree

getLayer

public int getLayer(int nodeID)

Specified by:

getLayer in class KahinaTree

setLayer

public void setLayer(int nodeID,
            int layer)

Specified by:

setLayer in class KahinaTree

getParent

public int getParent(int nodeID)

Specified by:

getParent in class KahinaTree

getNodeCaption

public java.lang.String getNodeCaption(int nodeID)

Specified by:

getNodeCaption in class KahinaTree

setNodeCaption

public void setNodeCaption(int nodeID,
                  java.lang.String caption)

Specified by:

setNodeCaption in class KahinaTree

getEdgeLabel

public java.lang.String getEdgeLabel(int nodeID)

Specified by:

getEdgeLabel in class KahinaTree

setEdgeLabel

public void setEdgeLabel(int nodeID,
                java.lang.String label)

Specified by:

setEdgeLabel in class KahinaTree

getNodeStatus

public int getNodeStatus(int nodeID)

Specified by:

getNodeStatus in class KahinaTree

setNodeStatus

public void setNodeStatus(int nodeID,
                 int newStatus)

Specified by:

setNodeStatus in class KahinaTree

getChildren

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

Specified by:

getChildren in class KahinaTree

getChildren

public java.util.List<java.lang.Integer> getChildren(int nodeID,
                                            int layerID,
                                            boolean stopAtCornerstones)

Specified by:

getChildren in class KahinaTree

getLeaves

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

Overrides:

getLeaves in class KahinaTree

collectLeaves

protected void collectLeaves(int nodeID,
                 java.util.List<java.lang.Integer> leaves)

Specified by:

collectLeaves in class KahinaTree

isCollapsed

public boolean isCollapsed(int nodeID)

Specified by:

isCollapsed in class KahinaTree

collapse

public void collapse(int nodeID)

Specified by:

collapse in class KahinaTree

decollapse

public void decollapse(int nodeID)

Specified by:

decollapse in class KahinaTree

decollapseAll

public void decollapseAll()

Specified by:

decollapseAll in class KahinaTree

addNode

public int addNode(java.lang.String caption,
          java.lang.String label,
          int nodeStatus)

Specified by:

addNode in class KahinaTree

getNextFreeID

protected int getNextFreeID()

clear

public void clear()

Description copied from class: KahinaTree

Clears the tree model. Implementors should override this method to clear implementation-specific data, but make sure to call this implementation using super.clear().

Overrides:

clear in class KahinaTree

getSize

public int getSize()

Specified by:

getSize in class KahinaTree

importXML

public static KahinaTree importXML(org.w3c.dom.Document dom)

addNode

public void addNode(int id,
           java.lang.String caption,
           java.lang.String label,
           int nodeStatus)

Specified by:

addNode in class KahinaTree

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

removeLeaf

public boolean removeLeaf(int id)

Specified by:

removeLeaf in class KahinaTree