net.sf.bddbddb.dataflow
Class DataflowSolver.DataflowIterator

java.lang.Object
  net.sf.bddbddb.dataflow.DataflowSolver.DataflowIterator

All Implemented Interfaces:

java.util.Iterator, java.util.ListIterator

Enclosing class:

DataflowSolver

public class DataflowSolver.DataflowIterator
extends java.lang.Object
implements java.util.ListIterator

Constructor Summary

DataflowSolver.DataflowIterator(Problem p, Problem.Fact startingFact, IterationList block)

Method Summary

void	add(java.lang.Object o)
void	enter(IterationList list)
Problem.Fact	getFact()
boolean	hasNext()
boolean	hasPrevious()
java.lang.Object	next()
int	nextIndex()
java.lang.Object	previous()
int	previousIndex()
void	remove()
void	set(java.lang.Object o)

Methods inherited from class java.lang.Object

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

Constructor Detail

DataflowSolver.DataflowIterator

public DataflowSolver.DataflowIterator(Problem p,
                                       Problem.Fact startingFact,
                                       IterationList block)

Method Detail

getFact

public Problem.Fact getFact()

hasNext

public boolean hasNext()

Specified by:

hasNext in interface java.util.Iterator

Specified by:

hasNext in interface java.util.ListIterator

hasPrevious

public boolean hasPrevious()

Specified by:

hasPrevious in interface java.util.ListIterator

next

public java.lang.Object next()

Specified by:

next in interface java.util.Iterator

Specified by:

next in interface java.util.ListIterator

previous

public java.lang.Object previous()

Specified by:

previous in interface java.util.ListIterator

nextIndex

public int nextIndex()

Specified by:

nextIndex in interface java.util.ListIterator

previousIndex

public int previousIndex()

Specified by:

previousIndex in interface java.util.ListIterator

enter

public void enter(IterationList list)

remove

public void remove()

Specified by:

remove in interface java.util.Iterator

Specified by:

remove in interface java.util.ListIterator

set

public void set(java.lang.Object o)

Specified by:

set in interface java.util.ListIterator

add

public void add(java.lang.Object o)

Specified by:

add in interface java.util.ListIterator