de.cau.cs.kieler.synccharts.s
Class Enumerator

java.lang.Object
  extended by de.cau.cs.kieler.synccharts.s.Enumerator

public class Enumerator
extends Object

An enumerator class for enumerating adjacent vertices in a graph.

Rating yellow
(2010-06-14)

Constructor Summary
Enumerator(Graph graph, int vertex)
          Constructs a new enumerator that enumerates the values of a given array of integers.
 
Method Summary
 boolean itemsLeft()
          Checks whether there is one more item to enumerate.
 int next()
          Returns the next item in the enumeration.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Enumerator

public Enumerator(Graph graph,
                  int vertex)
Constructs a new enumerator that enumerates the values of a given array of integers.

Parameters:
graph - the graph
vertex - the vertex
Method Detail

itemsLeft

public boolean itemsLeft()
Checks whether there is one more item to enumerate.

Returns:
true if and only if there is another item to enumerate.

next

public int next()
Returns the next item in the enumeration.

Returns:
the next item in the enumeration.