## Uses of Class
de.dhbwstuttgart.typeinference.ConstraintType

- Packages that use ConstraintType
  Package | Description
  --- | ---
  de.dhbwstuttgart.syntaxtree.operator |
  de.dhbwstuttgart.syntaxtree.type |
  de.dhbwstuttgart.typeinference |
  de.dhbwstuttgart.typeinference.assumptions |

- - ### Uses of ConstraintType in de.dhbwstuttgart.syntaxtree.operator

    Methods in de.dhbwstuttgart.syntaxtree.operator that return types with arguments of type ConstraintType
    Modifier and Type | Method and Description
    --- | ---
    `java.util.HashMap<ConstraintType,ConstraintType>` | AddOp.`getReturnTypes(TypeAssumptions ass)`
    `java.util.HashMap<ConstraintType,ConstraintType>` | AddOp.`getReturnTypes(TypeAssumptions ass)`
    `java.util.HashMap<ConstraintType,ConstraintType>` | LogOp.`getReturnTypes(TypeAssumptions ass)`
    `java.util.HashMap<ConstraintType,ConstraintType>` | LogOp.`getReturnTypes(TypeAssumptions ass)`
    `java.util.HashMap<ConstraintType,ConstraintType>` | RelOp.`getReturnTypes(TypeAssumptions ass)`
    `java.util.HashMap<ConstraintType,ConstraintType>` | RelOp.`getReturnTypes(TypeAssumptions ass)`
    `abstract java.util.HashMap<ConstraintType,ConstraintType>` | Operator.`getReturnTypes(TypeAssumptions ass)` Liefert eine HashMap der Form: HashMap
    `abstract java.util.HashMap<ConstraintType,ConstraintType>` | Operator.`getReturnTypes(TypeAssumptions ass)` Liefert eine HashMap der Form: HashMap
    `java.util.HashMap<ConstraintType,ConstraintType>` | MulOp.`getReturnTypes(TypeAssumptions ass)`
    `java.util.HashMap<ConstraintType,ConstraintType>` | MulOp.`getReturnTypes(TypeAssumptions ass)`

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

    Methods in de.dhbwstuttgart.syntaxtree.type that return ConstraintType
    Modifier and Type | Method and Description
    --- | ---
    `ConstraintType` | WildcardType.`TYPE(TypeAssumptions ass, SyntaxTreeNode parent)`
    `ConstraintType` | GenericTypeVar.`TYPE(TypeAssumptions ass, SyntaxTreeNode parent)`
    `ConstraintType` | ExtendsWildcardType.`TYPE(TypeAssumptions ass, SyntaxTreeNode parent)`
    `ConstraintType` | Void.`TYPE(TypeAssumptions ass, SyntaxTreeNode parent)`
    `ConstraintType` | TypePlaceholder.`TYPE(TypeAssumptions ass, SyntaxTreeNode parent)`
    `ConstraintType` | SuperWildcardType.`TYPE(TypeAssumptions ass, SyntaxTreeNode parent)`
    `ConstraintType` | Type.`TYPE(TypeAssumptions ass, SyntaxTreeNode parent)` PrÃ¼ft ob der Typ in den Assumptions ass vorhanden ist.
    `ConstraintType` | BaseType.`TYPE(TypeAssumptions ass, SyntaxTreeNode parent)`
    `ConstraintType` | RefType.`TYPE(TypeAssumptions ass, SyntaxTreeNode parent)`

  - ### Uses of ConstraintType in de.dhbwstuttgart.typeinference

    Methods in de.dhbwstuttgart.typeinference with parameters of type ConstraintType
    Modifier and Type | Method and Description
    --- | ---
    `void` | UndConstraint.`addConstraint(ConstraintType type, ConstraintType type2)`
    `void` | OderConstraint.`addConstraint(ConstraintType p1, ConstraintType p2)` FÃ¼gt ein Pair(p1, p2) dem Constraint hinzu

    Constructors in de.dhbwstuttgart.typeinference with parameters of type ConstraintType
    Constructor and Description
    `ConstraintPair(ConstraintType t1, ConstraintType t2)`
    `OderConstraint(ConstraintType p1, ConstraintType p2)` Erstellt ein neues Oder Constraint und fÃ¼gt bereits ein Constraint hinzu.
    `SingleConstraint(ConstraintType p1, ConstraintType p2)`
    `UndConstraint(ConstraintType p1, ConstraintType p2)`

  - ### Uses of ConstraintType in de.dhbwstuttgart.typeinference.assumptions

    Methods in de.dhbwstuttgart.typeinference.assumptions that return ConstraintType
    Modifier and Type | Method and Description
    --- | ---
    `ConstraintType` | TypeAssumptions.`getTypeFor(Type t, SyntaxTreeNode inNode)` Kontrolliert den vom Parser gesetzten Typ.