## Uses of Class
mycompiler.mytype.Pair

Packages that use Pair
mycompiler.mytype
mycompiler.mytypereconstruction
mycompiler.mytypereconstruction.set
mycompiler.mytypereconstruction.unify

Uses of Pair in mycompiler.mytype

Methods in mycompiler.mytype that return Pair
`Pair` `Pair.copyPair()`

Methods in mycompiler.mytype with parameters of type Pair
`boolean` `Pair.Pair_isEquiv(Pair p)`

Uses of Pair in mycompiler.mytypereconstruction

Constructors in mycompiler.mytypereconstruction with parameters of type Pair
`CSubstitution(Pair unifier)`

Uses of Pair in mycompiler.mytypereconstruction.set

Constructor parameters in mycompiler.mytypereconstruction.set with type arguments of type Pair
`CSubstitutionSet(de.dhbwstuttgart.typeinference.Menge<Pair> unifiers)`

Uses of Pair in mycompiler.mytypereconstruction.unify

Methods in mycompiler.mytypereconstruction.unify that return Pair
`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)`

Methods in mycompiler.mytypereconstruction.unify that return types with arguments of type Pair
`static de.dhbwstuttgart.typeinference.Menge<Pair>` `Unify.copyMengePair(de.dhbwstuttgart.typeinference.Menge<Pair> vp)`
`de.dhbwstuttgart.typeinference.Menge<de.dhbwstuttgart.typeinference.Menge<Pair>>` `Unify.copyMengeMengePair(de.dhbwstuttgart.typeinference.Menge<de.dhbwstuttgart.typeinference.Menge<Pair>> vp)`
`static de.dhbwstuttgart.typeinference.Menge<de.dhbwstuttgart.typeinference.Menge<Pair>>` `Unify.instanceSmaller(Pair P, FC_TTO fc_tto)`
`static de.dhbwstuttgart.typeinference.Menge<Pair>` `Unify.SubstHashtable2MengePair(java.util.Hashtable ht)`
`static de.dhbwstuttgart.typeinference.Menge<de.dhbwstuttgart.typeinference.Menge<Pair>>` `Unify.unify(Type ty1, Type ty2, FC_TTO fc_tto)`
`static de.dhbwstuttgart.typeinference.Menge<de.dhbwstuttgart.typeinference.Menge<Pair>>` `Unify.unify(de.dhbwstuttgart.typeinference.Menge<Pair> E, FC_TTO fc_tto)`

Methods in mycompiler.mytypereconstruction.unify with parameters of type Pair
`static de.dhbwstuttgart.typeinference.Menge<de.dhbwstuttgart.typeinference.Menge<Pair>>` `Unify.instanceSmaller(Pair P, FC_TTO fc_tto)`
`static void` `Unify.Subst(Pair P, int nTypnrInPair, TyploseVariable a, Type o, boolean bMitVorbedingung)`

Method parameters in mycompiler.mytypereconstruction.unify with type arguments of type Pair
`static de.dhbwstuttgart.typeinference.Menge<Pair>` `Unify.copyMengePair(de.dhbwstuttgart.typeinference.Menge<Pair> vp)`
`de.dhbwstuttgart.typeinference.Menge<de.dhbwstuttgart.typeinference.Menge<Pair>>` `Unify.copyMengeMengePair(de.dhbwstuttgart.typeinference.Menge<de.dhbwstuttgart.typeinference.Menge<Pair>> vp)`
`static void` `Unify.printMengeUnifier(java.lang.String strMenge, de.dhbwstuttgart.typeinference.Menge<de.dhbwstuttgart.typeinference.Menge<Pair>> Uni, int nDebug)`
`static de.dhbwstuttgart.typeinference.Menge<de.dhbwstuttgart.typeinference.Menge<Pair>>` `Unify.unify(de.dhbwstuttgart.typeinference.Menge<Pair> E, FC_TTO fc_tto)`
`static java.util.Hashtable` `Unify.MengePair2SubstHashtableMengePair(de.dhbwstuttgart.typeinference.Menge<Pair> v)`