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)