## 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)`