## Uses of Package
mycompiler.mytypereconstruction

Packages that use mycompiler.mytypereconstruction
mycompiler
mycompiler.myclass
mycompiler.myoperator
mycompiler.mystatement
mycompiler.mytypereconstruction
mycompiler.mytypereconstruction.typeassumption

Classes in mycompiler.mytypereconstruction used by mycompiler
CTypeReconstructionResult Diese Container-Klasse kapselt alle Ergebniswerte für eine mögliche Typkombination aller Klassen und deren Methoden sowie lokalen Variablen.

Classes in mycompiler.mytypereconstruction used by mycompiler.myclass
CSupportData Container-Klasse für bestimmte Hilfsdaten, die beim Typrekonstruktionsalgorithmus benötigt und deshalb rekursiv weiter gereicht werden.
CTypeReconstructionResult Diese Container-Klasse kapselt alle Ergebniswerte für eine mögliche Typkombination aller Klassen und deren Methoden sowie lokalen Variablen.

Classes in mycompiler.mytypereconstruction used by mycompiler.myoperator
CSupportData Container-Klasse für bestimmte Hilfsdaten, die beim Typrekonstruktionsalgorithmus benötigt und deshalb rekursiv weiter gereicht werden.

Classes in mycompiler.mytypereconstruction used by mycompiler.mystatement
CMultiplyTuple Container-Klasse für Ergebniswerte der Algorithmen TRTuple und TRMultiply.
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.

Classes in mycompiler.mytypereconstruction used by mycompiler.mytypereconstruction
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.

Classes in mycompiler.mytypereconstruction used by mycompiler.mytypereconstruction.typeassumption
CSubstitution Implementierung einer Typsubstitution.