# Package de.dhbwstuttgart.typeinference

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

- Class Summary
  Class | Description
  --- | ---
  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
  Enum | Description
  --- | ---
  Pair.PairOperator |