# Package de.dhbwstuttgart.typeinference

Interface Summary
GenericTypeInsertable: Wird von Knoten im Syntaxbaum implementiert, welche ein Einsetzen von generischen Variablendeklarationen erlauben.
KomplexeMenge<A>
Typeable
TypeInsertable

Class Summary
ConstraintPair
ConstraintsSet
ConstraintType
EinzelElement<A>
FunN
FunNInterface: Stellt das Interface FunN dar.
FunNMethod
JavaCodeResult
KarthesischesProdukt
Menge<A>
OderConstraint
OderMenge<A>
Pair
ResultSet: Im Grunde Sammlung von Pair s mit Equal-Operatoren.
SingleConstraint: Beschreibung von Herrn PlÃÂ¼micke: "The set of constraints consists of constraints of the form ÃÂ¸ R ÃÂ¸' , where ÃÂ¸ and ÃÂ¸' are Java types and R (R Ã¢ÂÂ { < ,
TIPConstraints
TypeinferenceResultSet: Diese Container-Klasse kapselt alle Ergebniswerte fÃ¯Â¿Â½r eine mÃ¯Â¿Â½gliche Typkombination einer Klasse und deren Methoden sowie lokalen Variablen.
UndConstraint: Stellt ein Constraint dar, welches aus mehreren Constraint-Paaren besteht.
UndMenge<A>

Enum Summary
Pair.PairOperator