## Uses of Class
mycompiler.mytype.RefType

Packages that use RefType
mycompiler.myclass
mycompiler.mystatement
mycompiler.mytype
mycompiler.mytypereconstruction.unify

Uses of RefType in mycompiler.myclass

Methods in mycompiler.myclass with parameters of type RefType
`void` `ExceptionList.set_addElem(RefType rety)`

Uses of RefType in mycompiler.mystatement

Methods in mycompiler.mystatement with parameters of type RefType
`void` `InstanceOf.set_Type(RefType typ)`

Uses of RefType in mycompiler.mytype

Subclasses of RefType in mycompiler.mytype
`class` `Void`

Methods in mycompiler.mytype that return RefType
`RefType` `RefType.clone()`

Methods in mycompiler.mytype with parameters of type RefType
`boolean` `RefType.Equiv2Equal(RefType ty2, java.util.Hashtable ht)`
`boolean` `RefType.is_Equiv(RefType ty2, java.util.Hashtable ht)`

Constructors in mycompiler.mytype with parameters of type RefType
`RefType(RefType R)`

Uses of RefType in mycompiler.mytypereconstruction.unify

Methods in mycompiler.mytypereconstruction.unify that return types with arguments of type RefType
`static de.dhbwstuttgart.typeinference.Menge<RefType>` `Unify.allGreater(RefType ty, de.dhbwstuttgart.typeinference.Menge FC)`
`static de.dhbwstuttgart.typeinference.Menge<RefType>` `Unify.allSmaller(RefType ty, de.dhbwstuttgart.typeinference.Menge FC)`

Methods in mycompiler.mytypereconstruction.unify with parameters of type RefType
`static de.dhbwstuttgart.typeinference.Menge<RefType>` `Unify.allGreater(RefType ty, de.dhbwstuttgart.typeinference.Menge FC)`
`static de.dhbwstuttgart.typeinference.Menge<RefType>` `Unify.allSmaller(RefType ty, de.dhbwstuttgart.typeinference.Menge FC)`
`static Pair` `Unify.isInFC(RefType R1, RefType R2, de.dhbwstuttgart.typeinference.Menge FC)`
`static Pair` `Unify.isInFCrechtsUnify(RefType RT1, RefType RT2, FC_TTO fc_tto)`
`static boolean` `Unify.isRXSimilarRY(RefType RFC, RefType RY)`
`static boolean` `Unify.isTVinRefType(TyploseVariable TV, RefType RT)`
`static java.util.Hashtable` `Unify.match(RefType FCtype, RefType tomatch, java.util.Hashtable ht)`
`static void` `Unify.SubstHashtable(RefType typterm, java.util.Hashtable ht)`
`static void` `Unify.varSubst(RefType typterm, java.util.Hashtable ht)`