net.sf.bddbddb.dataflow
Class PartialOrder.ConstraintGraph.ConstraintNavigator

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

All Implemented Interfaces:

jwutil.graphs.Navigator

Enclosing class:

PartialOrder.ConstraintGraph

public class PartialOrder.ConstraintGraph.ConstraintNavigator
extends java.lang.Object
implements jwutil.graphs.Navigator

Constructor Summary

PartialOrder.ConstraintGraph.ConstraintNavigator()

Method Summary

java.util.Collection	next(java.lang.Object node)
java.util.Collection	prev(java.lang.Object node)

Methods inherited from class java.lang.Object

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

Constructor Detail

PartialOrder.ConstraintGraph.ConstraintNavigator

public PartialOrder.ConstraintGraph.ConstraintNavigator()

Method Detail

next

public java.util.Collection next(java.lang.Object node)

Specified by:

next in interface jwutil.graphs.Navigator

prev

public java.util.Collection prev(java.lang.Object node)

Specified by:

prev in interface jwutil.graphs.Navigator