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

Packages that use ConstraintType
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
`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<ResultType, InputType>
`abstract java.util.HashMap<ConstraintType,ConstraintType>` Operator.`getReturnTypes(TypeAssumptions ass)` Liefert eine HashMap der Form: HashMap<ResultType, InputType>
`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
`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
`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
`ConstraintType` TypeAssumptions.`getTypeFor(Type t, SyntaxTreeNode inNode)` Kontrolliert den vom Parser gesetzten Typ.