## Package mycompiler.mytypereconstruction

Class Summary
CHelper
CIntersectionType: Ein `CIntersectionType` gruppiert alle Typmöglichkeiten einer bestimmten Methode, die über den `CMethodKey` eindeutig definiert ist.
CMultiplyTuple: Container-Klasse für Ergebniswerte der Algorithmen TRTuple und TRMultiply.
CReconstructionTuple: Container-Klasse für Ergebniswerte des Algorithmus TRStart.
CSubstitution: Implementierung einer Typsubstitution.
CSupportData: Container-Klasse für bestimmte Hilfsdaten, die beim Typrekonstruktionsalgorithmus benötigt und deshalb rekursiv weiter gereicht werden.
CTriple: Container-Klasse für Ergebniswerte der Algorithmen TRStmt und TRExp.
CTypeReconstructionResult: Diese Container-Klasse kapselt alle Ergebniswerte für eine mögliche Typkombination aller Klassen und deren Methoden sowie lokalen Variablen.