|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectagg.termination.TypeLayer
public class TypeLayer
Type layer is a set of type layer of a given layered graph grammar. The set is backed by a hash table.
Constructor Summary | |
---|---|
TypeLayer(java.util.Hashtable<Type,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<Type,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(Type 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 |
---|
public TypeLayer(java.util.Hashtable<Type,java.lang.Integer> types)
types
- The types of a graph grammar.Method Detail |
---|
public void setLayer(Type type, int layer)
public java.util.Hashtable<Type,java.lang.Integer> getTypeLayer()
public java.lang.Integer getStartLayer()
public java.util.Hashtable<java.lang.Integer,com.objectspace.jgl.HashSet> invertLayer()
public java.lang.String toString()
toString
in class java.lang.Object
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |