org.kahina.core.data.dag

Class KahinaMemDAG

java.lang.Object

org.kahina.core.data.KahinaObject

org.kahina.core.data.dag.KahinaDAG

org.kahina.core.data.dag.KahinaMemDAG

All Implemented Interfaces:

java.io.Serializable

Direct Known Subclasses:

ColoredPathDAG, ResolutionProofDAG

public class KahinaMemDAG
extends KahinaDAG

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
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>	endNodes
protected java.util.Map<java.lang.Integer,java.util.List<java.lang.Integer>>	incomingEdges
protected int	nextEdgeID
protected int	nextNodeID
protected java.util.Map<java.lang.Integer,java.lang.String>	nodeCaptions
protected java.util.Map<java.lang.Integer,java.util.List<java.lang.Integer>>	outgoingEdges
protected java.util.Set<java.lang.Integer>	roots
protected java.util.Map<java.lang.Integer,java.lang.Integer>	startNodes
protected java.util.Map<java.lang.Integer,java.lang.Integer>	status

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

needsUpdate

Constructor Summary

Constructors

Constructor and Description
KahinaMemDAG()

Method Summary

Methods

Modifier and Type	Method and Description
void	addEdge(int edgeID, int start, int end, java.lang.String label)
int	addEdge(int start, int end, java.lang.String label)
void	addNode(int id, java.lang.String caption, int nodeStatus)
int	addNode(java.lang.String caption, int nodeStatus)
void	collapse(int nodeID)
void	decollapse(int nodeID)
void	decollapseAll()
java.util.List<java.lang.Integer>	findShortestPathFromRoot(int nodeID)
java.lang.Iterable<java.lang.Integer>	getEdgeIDIterator()
java.lang.String	getEdgeLabel(int edgeID)
int	getEndNode(int edgeID)
java.util.List<java.lang.Integer>	getIncomingEdges(int nodeID)
protected int	getNextFreeEdgeID()
protected int	getNextFreeNodeID()
java.lang.String	getNodeCaption(int nodeID)
java.lang.Iterable<java.lang.Integer>	getNodeIDIterator()
int	getNodeStatus(int nodeID)
java.util.List<java.lang.Integer>	getOutgoingEdges(int nodeID)
java.util.Set<java.lang.Integer>	getRoots()
int	getSize()
int	getStartNode(int edgeID)
java.util.ArrayList<java.lang.Integer>	getVisibleChildren(int nodeID)
java.util.List<java.lang.Integer>	getVisibleParents(int nodeID)
static KahinaDAG	importXML(org.w3c.dom.Document dom)
boolean	isCollapsed(int nodeID)
boolean	nodeIsVisible(int nodeID)
void	setEdgeLabel(int edgeID, java.lang.String label)
void	setEndNode(int edgeID, int endNode)
void	setNodeCaption(int nodeID, java.lang.String caption)
void	setNodeStatus(int nodeID, int newStatus)
void	setStartNode(int edgeID, int startNode)

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

Field Detail

roots

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

incomingEdges

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

outgoingEdges

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

nodeCaptions

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

status

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

collapsed

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

edgeLabels

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

startNodes

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

endNodes

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

nextNodeID

protected int nextNodeID

nextEdgeID

protected int nextEdgeID

Constructor Detail

KahinaMemDAG

public KahinaMemDAG()

Method Detail

addEdge

public void addEdge(int edgeID,
           int start,
           int end,
           java.lang.String label)

Specified by:

addEdge in class KahinaDAG

addEdge

public int addEdge(int start,
          int end,
          java.lang.String label)

Specified by:

addEdge in class KahinaDAG

addNode

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

Specified by:

addNode in class KahinaDAG

addNode

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

Specified by:

addNode in class KahinaDAG

collapse

public void collapse(int nodeID)

Specified by:

collapse in class KahinaDAG

decollapse

public void decollapse(int nodeID)

Specified by:

decollapse in class KahinaDAG

decollapseAll

public void decollapseAll()

Specified by:

decollapseAll in class KahinaDAG

getEdgeLabel

public java.lang.String getEdgeLabel(int edgeID)

Specified by:

getEdgeLabel in class KahinaDAG

getIncomingEdges

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

Specified by:

getIncomingEdges in class KahinaDAG

getVisibleParents

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

Specified by:

getVisibleParents in class KahinaDAG

getNodeCaption

public java.lang.String getNodeCaption(int nodeID)

Specified by:

getNodeCaption in class KahinaDAG

getNodeStatus

public int getNodeStatus(int nodeID)

Specified by:

getNodeStatus in class KahinaDAG

getOutgoingEdges

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

Specified by:

getOutgoingEdges in class KahinaDAG

getVisibleChildren

public java.util.ArrayList<java.lang.Integer> getVisibleChildren(int nodeID)

Specified by:

getVisibleChildren in class KahinaDAG

nodeIsVisible

public boolean nodeIsVisible(int nodeID)

getSize

public int getSize()

Specified by:

getSize in class KahinaDAG

isCollapsed

public boolean isCollapsed(int nodeID)

Specified by:

isCollapsed in class KahinaDAG

setEdgeLabel

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

Specified by:

setEdgeLabel in class KahinaDAG

setNodeCaption

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

Specified by:

setNodeCaption in class KahinaDAG

setNodeStatus

public void setNodeStatus(int nodeID,
                 int newStatus)

Specified by:

setNodeStatus in class KahinaDAG

getNextFreeNodeID

protected int getNextFreeNodeID()

getNextFreeEdgeID

protected int getNextFreeEdgeID()

importXML

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

getEndNode

public int getEndNode(int edgeID)

Specified by:

getEndNode in class KahinaDAG

getStartNode

public int getStartNode(int edgeID)

Specified by:

getStartNode in class KahinaDAG

setEndNode

public void setEndNode(int edgeID,
              int endNode)

Specified by:

setEndNode in class KahinaDAG

setStartNode

public void setStartNode(int edgeID,
                int startNode)

Specified by:

setStartNode in class KahinaDAG

getEdgeIDIterator

public java.lang.Iterable<java.lang.Integer> getEdgeIDIterator()

Specified by:

getEdgeIDIterator in class KahinaDAG

getNodeIDIterator

public java.lang.Iterable<java.lang.Integer> getNodeIDIterator()

Specified by:

getNodeIDIterator in class KahinaDAG

getRoots

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

Specified by:

getRoots in class KahinaDAG

findShortestPathFromRoot

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

Specified by:

findShortestPathFromRoot in class KahinaDAG