net.sf.bddbddb.dataflow
Class PartialOrder.ConstraintGraph

java.lang.Object
  net.sf.bddbddb.dataflow.PartialOrder.ConstraintGraph

Enclosing class:

PartialOrder

public static class PartialOrder.ConstraintGraph
extends java.lang.Object

Nested Class Summary

class

PartialOrder.ConstraintGraph.ConstraintNavigator

Constructor Summary

PartialOrder.ConstraintGraph()

PartialOrder.ConstraintGraph(java.util.Collection constraints)

PartialOrder.ConstraintGraph(java.util.Collection nodes, java.util.Collection constraints)

PartialOrder.ConstraintGraph(PartialOrder.ConstraintGraph that)

Method Summary

void	addEdge(java.lang.Object o1, java.lang.Object o2)
void	addNode(java.lang.Object o)
void	addNodes(java.util.Collection nodes)
PartialOrder.ConstraintGraph.ConstraintNavigator	getNavigator()
java.util.Collection	getNodes()
java.util.Collection	getRoots()
boolean	isCycle(java.util.List cycle)
boolean	isPath(java.lang.Object start, java.lang.Object end, java.util.List path)
void	removeEdge(java.lang.Object o1, java.lang.Object o2)
void	removeEdgesFrom(java.lang.Object o)
void	removeNode(java.lang.Object o)
java.lang.String	toString()
void	update(jwutil.collections.UnionFind uf)

Methods inherited from class java.lang.Object

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

Constructor Detail

PartialOrder.ConstraintGraph

public PartialOrder.ConstraintGraph()

PartialOrder.ConstraintGraph

public PartialOrder.ConstraintGraph(PartialOrder.ConstraintGraph that)

PartialOrder.ConstraintGraph

public PartialOrder.ConstraintGraph(java.util.Collection constraints)

PartialOrder.ConstraintGraph

public PartialOrder.ConstraintGraph(java.util.Collection nodes,
                                    java.util.Collection constraints)

Method Detail

update

public void update(jwutil.collections.UnionFind uf)

addEdge

public void addEdge(java.lang.Object o1,
                    java.lang.Object o2)

removeEdge

public void removeEdge(java.lang.Object o1,
                       java.lang.Object o2)

removeEdgesFrom

public void removeEdgesFrom(java.lang.Object o)

addNode

public void addNode(java.lang.Object o)

addNodes

public void addNodes(java.util.Collection nodes)

removeNode

public void removeNode(java.lang.Object o)

getNodes

public java.util.Collection getNodes()

Returns:

collection of nodes

isCycle

public boolean isCycle(java.util.List cycle)

isPath

public boolean isPath(java.lang.Object start,
                      java.lang.Object end,
                      java.util.List path)

getRoots

public java.util.Collection getRoots()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getNavigator

public PartialOrder.ConstraintGraph.ConstraintNavigator getNavigator()