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

- Packages that use FC_TTO
  Package | Description
  --- | ---
  de.dhbwstuttgart.syntaxtree |
  de.dhbwstuttgart.typeinference.unify |

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

    Methods in de.dhbwstuttgart.syntaxtree that return FC_TTO
    Modifier and Type | Method and Description
    --- | ---
    `FC_TTO` | SourceFile.`makeFC(TypeAssumptions ass)` Erstellt die Finite Closure

    Methods in de.dhbwstuttgart.syntaxtree with parameters of type FC_TTO
    Modifier and Type | Method and Description
    --- | ---
    `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
    Modifier and Type | Method and Description
    --- | ---
    `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