## Uses of Class
de.dhbwstuttgart.typeinference.unify.FC_TTO

Packages that use FC_TTO
de.dhbwstuttgart.syntaxtree
de.dhbwstuttgart.typeinference.unify

### Uses of FC_TTO in de.dhbwstuttgart.syntaxtree

Methods in de.dhbwstuttgart.syntaxtree that return FC_TTO
`FC_TTO` SourceFile.`makeFC(TypeAssumptions ass)` Erstellt die Finite Closure

Methods in de.dhbwstuttgart.syntaxtree with parameters of type FC_TTO
`ConstraintsSet` Class.`typeReconstruction(FC_TTO supportData, TypeAssumptions globalAssumptions)` Ausgangspunkt fÃ¯Â¿Â½r den Typrekonstruktionsalgorithmus.

### Uses of FC_TTO in de.dhbwstuttgart.typeinference.unify

Methods in de.dhbwstuttgart.typeinference.unify with parameters of type FC_TTO
`private static void` Unify.`adapt(Menge<Pair> H, Pair PFC, RefType TA1, RefType TA2, FC_TTO fc_tto)` Implementiert die adapt Regel des sub_unify
`private static void` Unify.`adaptExt(Menge<Pair> H, Pair PFC, RefType TA1, RefType TA2, FC_TTO fc_tto)` Implementiert die adaptExt Regel des sub_unify
`private static void` Unify.`adaptSup(Menge<Pair> H, Pair PFC, RefType TA1, RefType TA2, FC_TTO fc_tto)` Implementiert die adaptSup Regel des sub_unify
`private static Menge<ObjectType>` Unify.`CaptureConversion(Menge<ObjectType> TVec, FC_TTO fc_tto)` Implementiert die CaptureConversion.
`private static Type` Unify.`CaptureConversion(Type T, FC_TTO fc_tto)` Erzeugt die CaptureConversion von einem Typ.
`private static java.util.Hashtable<JavaClassName,Type>` Unify.`CaptureConversionHashtable(java.util.Hashtable<JavaClassName,Type> ht, FC_TTO fc_tto)`
`private static Menge<ObjectType>` Unify.`greater(ObjectType T, FC_TTO fc_tto)` Erzeugt alle Typen die greater sind als T.
`private static Menge<ObjectType>` Unify.`greater0(ObjectType T, FC_TTO fc_tto)` greater0 Schritt von greater.
`private static Menge<ObjectType>` Unify.`greater1(ObjectType T, FC_TTO fc_tto)` greater1 Schritt von greater.
`private static Menge<ObjectType>` Unify.`greater2(Menge<ObjectType> greater1Erg, FC_TTO fc_tto)` greater2 Schritt von greater
`private static Menge<ObjectType>` Unify.`greater3(Menge<ObjectType> greater2Erg, FC_TTO fc_tto)` greater3 Schritt von greater
`private static Menge<Type>` Unify.`greaterArg(Type T, FC_TTO fc_tto)` greaterArg Schritt von greater FÃ¼r den Argumenttype FunN<...> werden keine ?
`static Menge<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)`
`private UnifyResult` ParallelUnify.`parallelUnify(Menge<Pair> pairs, FC_TTO fc)`
`private static Menge<ObjectType>` Unify.`smaller(ObjectType T, FC_TTO fc_tto)` Erzeugt alle Typen die smaller sind als T.
`private static Menge<ObjectType>` Unify.`smaller0(ObjectType T, FC_TTO fc_tto)` smaller0 Schritt von smaller
`private static Menge<ObjectType>` Unify.`smaller1(Type T, FC_TTO fc_tto)` smaller1 Schritt von smaller
`private static Menge<ObjectType>` Unify.`smaller2(Menge<ObjectType> smaller1Erg, FC_TTO fc_tto)` smaller2 Schritt von smaller
`private static Menge<ObjectType>` Unify.`smaller3(Menge<ObjectType> smaller12Erg, FC_TTO fc_tto)` smaller3 Schritt von smaller
`private static Menge<Type>` Unify.`smallerArg(Type T, FC_TTO fc_tto)` smallerArg Schritt von smaller
`static Menge<Pair>` Unify.`sub_unify(Menge<Pair> E, FC_TTO fc_tto)`
`static Menge<Pair>` Unify.`sub_unify(Menge<Pair> E, FC_TTO fc_tto, boolean useSubst)`
`static MUB` Unify.`unify_Mub(Type ty1, Type ty2, FC_TTO fc_tto)`
`static Menge<Menge<Pair>>` Unify.`unify(Menge<Pair> E, FC_TTO fc_tto)` Einstieg in die Unifizierung mit Wildcards
`static Menge<Menge<Pair>>` Unify.`unify(Type ty1, Type ty2, FC_TTO fc_tto)` Unifiziert ein Pair mit den Elementen ty1 und ty2 -> (ty1 < ty2)
`static Menge<Menge<Pair>>` Unify.`unifyFiltered(Menge<Pair> E, FC_TTO fc_tto, boolean filter)`
`static Menge<Menge<Pair>>` Unify.`unifyWC(Pair P, FC_TTO fc_tto)` Einstieg in die Unifizierung mit Wildcards
`static Menge<Menge<Pair>>` Unify.`unifyWC(Type ty1, Type ty2, FC_TTO fc_tto)` Einstieg in die Unifizierung mit Wildcards