NumberWorkSpace.java

package GPL;

// **********************************************************************
   
public class NumberWorkSpace extends  WorkSpace 
{
    int vertexCounter;

    public NumberWorkSpace( ) 
    {
        vertexCounter = 0;
    }

    public void preVisitAction( Vertex v )
    {
        // This assigns the values on the way in
        if ( v.visited != true )
        {
            v.VertexNumber = vertexCounter++;
        }
    }
}