tip.types
Class Variable

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

public class Variable
extends Type


Constructor Summary
Variable()
           
 
Method Summary
 void setName(char name)
           
 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

Variable

public Variable()
Method Detail

setName

public void setName(char name)

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