## Uses of Class
de.dhbwstuttgart.myexception.SCException

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

- - ### Uses of SCException in de.dhbwstuttgart.syntaxtree.type

    Methods in de.dhbwstuttgart.syntaxtree.type that throw SCException
    Modifier and Type | Method and Description
    --- | ---
    `java.lang.String` | RefType.`getParaN(int n)`

  - ### Uses of SCException in de.dhbwstuttgart.typeinference.unify

    Methods in de.dhbwstuttgart.typeinference.unify that throw SCException
    Modifier and Type | Method and Description
    --- | ---
    `static int` | Unify.`pi(int n, java.lang.String C, java.lang.String D, Menge tto)`
    `private static void` | Unify.`reduce1(Menge<Pair> H, RefType TA1, RefType TA2, Menge TTO)` Implementiert die reduce1 Regel des sub_unify
    `private static void` | Unify.`reduce2(Menge<Pair> H, RefType TA1, RefType TA2, Menge TTO)` Implementiert die reduce2 Regel des sub_unify
    `private static void` | Unify.`reduceEq(Menge<Pair> H, RefType TA1, RefType TA2, Menge TTO)` Implementiert die reduceEq Regel des sub_unify Da in reduce2 unnÃ¶tigerweise pi verwendet wird (siehe Kommentar in reduce2), kann reduceEq einfach an reduce2 deligieren.
    `private static void` | Unify.`reduceExt(Menge<Pair> H, RefType TA1, RefType TA2, Menge TTO)` Implementiert die reduceExt Regel des sub_unify
    `private static void` | Unify.`reduceSup(Menge<Pair> H, RefType TA1, RefType TA2, Menge TTO)` Implementiert die reduceSup Regel des sub_unify