tip.types
Class Int

java.lang.Object
  extended by tip.types.Type
      extended by tip.types.Int

public class Int
extends Type


Constructor Summary
Int()
           
 
Method Summary
 String toString()
           
 void unify(Type other)
          Unify this type and the given type
 
Methods inherited from class tip.types.Type
clearMarks, equiv, find, isRoot, renameRootVariables, union
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

Int

public Int()
Method Detail

unify

public void unify(Type other)
Description copied from class: Type
Unify this type and the given type

Specified by:
unify in class Type

toString

public String toString()
Overrides:
toString in class Object