Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

## Uses of Class
mycompiler.mytypereconstruction.unify.FC_TTO

Packages that use FC_TTO
mycompiler |
mycompiler.mytypereconstruction |
mycompiler.mytypereconstruction.unify |

Uses of FC_TTO in mycompiler

Methods in mycompiler that return FC_TTO
`FC_TTO` | `SourceFile.makeFC()`

Uses of FC_TTO in mycompiler.mytypereconstruction

Methods in mycompiler.mytypereconstruction that return FC_TTO
`FC_TTO` | `CSupportData.getFiniteClosure()`

Methods in mycompiler.mytypereconstruction with parameters of type FC_TTO
`void` | `CSupportData.setFiniteClosure(FC_TTO finiteClosure)`

Constructors in mycompiler.mytypereconstruction with parameters of type FC_TTO
`CSupportData(FC_TTO finiteClosure, de.dhbwstuttgart.typeinference.Menge<CTypeReconstructionResult> A, java.lang.String currentClass)`
`CSupportData(FC_TTO finiteClosure, de.dhbwstuttgart.typeinference.Menge<CTypeReconstructionResult> A, java.lang.String currentClass, java.lang.String currentMethod, int currentMethodParaCount, de.dhbwstuttgart.typeinference.Menge<java.lang.Integer> blockIdList, int blockDepth)`

Uses of FC_TTO in mycompiler.mytypereconstruction.unify

Methods in mycompiler.mytypereconstruction.unify with parameters of type FC_TTO
`static de.dhbwstuttgart.typeinference.Menge<de.dhbwstuttgart.typeinference.Menge<Pair>>` | `Unify.instanceSmaller(Pair P, FC_TTO fc_tto)`
`static Pair` | `Unify.isInFCrechtsUnify(RefType RT1, RefType RT2, FC_TTO fc_tto)`
`static boolean` | `Unify.isRealSubClass(java.lang.String Basis, java.lang.String Mutter, FC_TTO fc_tto)`
`static de.dhbwstuttgart.typeinference.Menge` | `Unify.sub_unify(de.dhbwstuttgart.typeinference.Menge E, FC_TTO fc_tto)`
`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)`

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES