agg.termination
Class TypeLayerOfTypeGraph

java.lang.Object
  extended by agg.termination.TypeLayerOfTypeGraph

public class TypeLayerOfTypeGraph
extends java.lang.Object

Type layer is a set of type layers of a given layered graph grammar. A type means to be an object (Node resp. Edge) of a type graph.


Constructor Summary
TypeLayerOfTypeGraph(java.util.Hashtable<GraphObject,java.lang.Integer> types)
          Creates a new set of type layers for a given layered graph grammar.
 
Method Summary
 java.lang.Integer getStartLayer()
          Returns the smallest layer of the type layer.
 java.util.Hashtable<GraphObject,java.lang.Integer> getTypeLayer()
          Returns the type layer.
 java.util.Hashtable<java.lang.Integer,com.objectspace.jgl.HashSet> invertLayer()
          Inverts a type layer so that the layer is the key and the value is a set.
 void setLayer(GraphObject type, int layer)
          Sets the layer of the specified type
 java.lang.String toString()
          Returns the type layer in a human readable way.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

TypeLayerOfTypeGraph

public TypeLayerOfTypeGraph(java.util.Hashtable<GraphObject,java.lang.Integer> types)
Creates a new set of type layers for a given layered graph grammar.

Parameters:
types - The types of a graph grammar.
Method Detail

setLayer

public void setLayer(GraphObject type,
                     int layer)
Sets the layer of the specified type


getTypeLayer

public java.util.Hashtable<GraphObject,java.lang.Integer> getTypeLayer()
Returns the type layer. A type graph object is a key, a layer is a value.

Returns:
The type layer.

getStartLayer

public java.lang.Integer getStartLayer()
Returns the smallest layer of the type layer.

Returns:
The smallest layer.

invertLayer

public java.util.Hashtable<java.lang.Integer,com.objectspace.jgl.HashSet> invertLayer()
Inverts a type layer so that the layer is the key and the value is a set.

Returns:
The inverted layer function.

toString

public java.lang.String toString()
Returns the type layer in a human readable way.

Overrides:
toString in class java.lang.Object
Returns:
The text.