|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objecttip.types.Type
public abstract class Type
Method Summary | |
---|---|
static void |
clearMarks()
Clears all 'marked' in all type objects. |
boolean |
equiv(Type other)
Returns true if this element is in the same equivalence class as 'other', false otherwise. |
Type |
find()
Returns the canonical element of the set that this element is in. |
boolean |
isRoot()
Returns true if this is a root, false otherwise. |
static void |
renameRootVariables()
Assigns names to type variables ( a,b,c,...) |
abstract void |
unify(Type type)
Unify this type and the given type |
Type |
union(Type other)
Computes and returns the union of this set and the given set. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Method Detail |
---|
public static void clearMarks()
public abstract void unify(Type type)
public Type union(Type other)
public Type find()
public boolean equiv(Type other)
public boolean isRoot()
public static void renameRootVariables()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |