suvi.alg.util
Class NodeRankingPolicies.SpanningTree

java.lang.Object
  |
  +--suvi.alg.util.NodeRankingPolicies.SpanningTree

All Implemented Interfaces:

javautils.graph.adt.Graph

Enclosing class:

NodeRankingPolicies

public static final class NodeRankingPolicies.SpanningTree

extends java.lang.Object

implements javautils.graph.adt.Graph

A mutable spanning tree for a graph.

Field Summary

javautils.graph.adt.AugmentedGraph

graph

Constructor Summary

NodeRankingPolicies.SpanningTree(javautils.graph.adt.AugmentedGraph graph)

Method Summary

void	addEdge(java.lang.Object graphEdge)
void	addNode(java.lang.Object node)
void	clear()
java.util.List	edgesFrom(java.lang.Object node)
java.lang.Object	graphEdgeOf(javautils.ImmutablePair treeEdge)
boolean	invariant()
boolean	isNode(java.lang.Object some)
boolean	isNonTreeEdge(java.lang.Object graphEdge)
javautils.ImmutablePair	nextTreeEdge()
java.util.List	nodes()
java.util.Iterator	nonTreeEdges()
int	numTreeEdges()
java.lang.Object	removeEdge(javautils.ImmutablePair treeEdge)
java.lang.Object	root()
java.lang.Object	sourceOf(java.lang.Object edge)
java.lang.Object	targetOf(java.lang.Object edge)

Methods inherited from class java.lang.Object

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

Field Detail

graph

public final javautils.graph.adt.AugmentedGraph graph

Constructor Detail

NodeRankingPolicies.SpanningTree

public NodeRankingPolicies.SpanningTree(javautils.graph.adt.AugmentedGraph graph)

Method Detail

invariant

public boolean invariant()

clear

public void clear()

addNode

public void addNode(java.lang.Object node)

addEdge

public void addEdge(java.lang.Object graphEdge)

removeEdge

public java.lang.Object removeEdge(javautils.ImmutablePair treeEdge)

nodes

public java.util.List nodes()

Specified by:

nodes in interface javautils.graph.adt.Graph

isNode

public boolean isNode(java.lang.Object some)

edgesFrom

public java.util.List edgesFrom(java.lang.Object node)

Specified by:

edgesFrom in interface javautils.graph.adt.Graph

sourceOf

public java.lang.Object sourceOf(java.lang.Object edge)

Specified by:

sourceOf in interface javautils.graph.adt.Graph

targetOf

public java.lang.Object targetOf(java.lang.Object edge)

Specified by:

targetOf in interface javautils.graph.adt.Graph

nonTreeEdges

public java.util.Iterator nonTreeEdges()

isNonTreeEdge

public boolean isNonTreeEdge(java.lang.Object graphEdge)

graphEdgeOf

public java.lang.Object graphEdgeOf(javautils.ImmutablePair treeEdge)

nextTreeEdge

public javautils.ImmutablePair nextTreeEdge()

numTreeEdges

public int numTreeEdges()

root

public java.lang.Object root()