|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| 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(java.util.Vector<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,
java.util.Vector 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 java.util.Vector<Pair> |
Unify.copyVectorPair(java.util.Vector<Pair> vp)
|
java.util.Vector<java.util.Vector<Pair>> |
Unify.copyVectorVectorPair(java.util.Vector<java.util.Vector<Pair>> vp)
|
static java.util.Vector<java.util.Vector<Pair>> |
Unify.instanceSmaller(Pair P,
FC_TTO fc_tto)
|
static java.util.Vector<Pair> |
Unify.SubstHashtable2VectorPair(java.util.Hashtable ht)
|
static java.util.Vector<java.util.Vector<Pair>> |
Unify.unify(Type ty1,
Type ty2,
FC_TTO fc_tto)
|
static java.util.Vector<java.util.Vector<Pair>> |
Unify.unify(java.util.Vector<Pair> E,
FC_TTO fc_tto)
|
| Methods in mycompiler.mytypereconstruction.unify with parameters of type Pair | |
|---|---|
static java.util.Vector<java.util.Vector<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 java.util.Vector<Pair> |
Unify.copyVectorPair(java.util.Vector<Pair> vp)
|
java.util.Vector<java.util.Vector<Pair>> |
Unify.copyVectorVectorPair(java.util.Vector<java.util.Vector<Pair>> vp)
|
static void |
Unify.printMengeUnifier(java.lang.String strMenge,
java.util.Vector<java.util.Vector<Pair>> Uni,
int nDebug)
|
static java.util.Vector<java.util.Vector<Pair>> |
Unify.unify(java.util.Vector<Pair> E,
FC_TTO fc_tto)
|
static java.util.Hashtable |
Unify.VectorPair2SubstHashtableVectorPair(java.util.Vector<Pair> v)
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||