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

Packages that use ConstraintsSet
de.dhbwstuttgart.syntaxtree
de.dhbwstuttgart.syntaxtree.misc
de.dhbwstuttgart.syntaxtree.statement
de.dhbwstuttgart.syntaxtree.type
de.dhbwstuttgart.typeinference
de.dhbwstuttgart.typeinference.unify

### Uses of ConstraintsSet in de.dhbwstuttgart.syntaxtree

Methods in de.dhbwstuttgart.syntaxtree that return ConstraintsSet
`ConstraintsSet` Constructor.`TYPE(TypeAssumptions ass)`
`ConstraintsSet` FieldDeclaration.`TYPE(TypeAssumptions publicAssumptions)`
`ConstraintsSet` Method.`TYPE(TypeAssumptions ass)`
`abstract ConstraintsSet` Field.`TYPE(TypeAssumptions publicAssumptions)`
`ConstraintsSet` Class.`typeReconstruction(FC_TTO supportData, TypeAssumptions globalAssumptions)` Ausgangspunkt fÃ¯Â¿Â½r den Typrekonstruktionsalgorithmus.

### Uses of ConstraintsSet in de.dhbwstuttgart.syntaxtree.misc

Methods in de.dhbwstuttgart.syntaxtree.misc that return ConstraintsSet
`ConstraintsSet` ConstructorCall.`overloading(TypeAssumptions assumptions)`

### Uses of ConstraintsSet in de.dhbwstuttgart.syntaxtree.statement

Methods in de.dhbwstuttgart.syntaxtree.statement that return ConstraintsSet
`ConstraintsSet` MethodCall.`overloading(TypeAssumptions assumptions)` Erstellt die Constraints fÃ¼r den eigentlichen Methodenaufruf.
`ConstraintsSet` NegativeExpr.`TYPEExpr(TypeAssumptions assumptions)`
`ConstraintsSet` Assign.`TYPEExpr(TypeAssumptions assumptions)`
`abstract ConstraintsSet` Expr.`TYPEExpr(TypeAssumptions assumptions)`
`ConstraintsSet` IntLiteral.`TYPEExpr(TypeAssumptions assumptions)`
`ConstraintsSet` PositivExpr.`TYPEExpr(TypeAssumptions assumptions)`

`ConstraintsSet`

LambdaExpression.`TYPEExpr(TypeAssumptions assumptions)`
Spezifikation: TYPEExpr( Ass, Lambda( (x1 , . . . , xN ), expr|stmt ) ) = let AssArgs = { xi : ai | ai fresh type variables } (exprt : rty, ConS) = TYPEExpr( Ass Ã¢ÂÂª AssArgs, expr ) | (stmtt : rty, ConS) = TYPEStmt( Ass u AssArgs, stmt ) in (Lambda( (x1 : a1 , . . . , xN : aN ), exprt : rty|stmtt : rty ) : a, ConS Ã¢ÂÂª { (FunN<rty, a1 , . . . , aN > a) }), where a is a fresh type variable

`ConstraintsSet` LocalOrFieldVar.`TYPEExpr(TypeAssumptions assumptions)`
`ConstraintsSet` DoubleLiteral.`TYPEExpr(TypeAssumptions assumptions)`
`ConstraintsSet` StringLiteral.`TYPEExpr(TypeAssumptions assumptions)`
`ConstraintsSet` CastExpr.`TYPEExpr(TypeAssumptions assumptions)`
`ConstraintsSet` This.`TYPEExpr(TypeAssumptions assumptions)`
`ConstraintsSet` MethodCall.`TYPEExpr(TypeAssumptions assumptions)`
`ConstraintsSet` Binary.`TYPEExpr(TypeAssumptions assumptions)`
`ConstraintsSet` InstVar.`TYPEExpr(TypeAssumptions assumptions)`
`ConstraintsSet` UnaryExpr.`TYPEExpr(TypeAssumptions assumptions)`
`ConstraintsSet` NewArray.`TYPEExpr(TypeAssumptions assumptions)`
`ConstraintsSet` NewClass.`TYPEExpr(TypeAssumptions assumptions)`
`ConstraintsSet` Null.`TYPEExpr(TypeAssumptions assumptions)`
`ConstraintsSet` BoolLiteral.`TYPEExpr(TypeAssumptions assumptions)`
`ConstraintsSet` CharLiteral.`TYPEExpr(TypeAssumptions assumptions)`
`ConstraintsSet` SuperCall.`TYPEExpr(TypeAssumptions assumptions)`
`ConstraintsSet` InstanceOf.`TYPEExpr(TypeAssumptions assumptions)`
`ConstraintsSet` ThisCall.`TYPEExpr(TypeAssumptions assumptions)`
`ConstraintsSet` LongLiteral.`TYPEExpr(TypeAssumptions assumptions)`
`ConstraintsSet` FloatLiteral.`TYPEExpr(TypeAssumptions assumptions)`
`ConstraintsSet` NotExpr.`TYPEExpr(TypeAssumptions assumptions)`
`ConstraintsSet` Assign.`TYPEStmt(TypeAssumptions assumptions)` Spezifikation: TYPEStmt( Ass, stmt ) = let (stmt : rty, ConS) = TYPEExpr( Ass, stmt ) in (stmt : Void, ConS)
`ConstraintsSet` Expr.`TYPEStmt(TypeAssumptions assumptions)`
`ConstraintsSet` LambdaExpression.`TYPEStmt(TypeAssumptions ass)`
`abstract ConstraintsSet` Statement.`TYPEStmt(TypeAssumptions assumptions)`
`ConstraintsSet` Return.`TYPEStmt(TypeAssumptions assumptions)`
`ConstraintsSet` This.`TYPEStmt(TypeAssumptions assumptions)`
`ConstraintsSet` MethodCall.`TYPEStmt(TypeAssumptions assumptions)` Spezifikation: TYPEStmt( Ass, stmt ) = let (stmt : rty, ConS) = TYPEExpr( Ass, stmt ) in (stmt : Void, ConS)
`ConstraintsSet` UnaryExpr.`TYPEStmt(TypeAssumptions assumptions)`
`ConstraintsSet` Block.`TYPEStmt(TypeAssumptions assumptions)`
`ConstraintsSet` ForStmt.`TYPEStmt(TypeAssumptions assumptions)`
`ConstraintsSet` NewClass.`TYPEStmt(TypeAssumptions assumptions)` Spezifikation: TYPEStmt( Ass, stmt ) = let (stmt : rty, ConS) = TYPEExpr( Ass, stmt ) in (stmt : Void, ConS)
`ConstraintsSet` SuperCall.`TYPEStmt(TypeAssumptions assumptions)` This kann auch als Konstruktoraufruf in einem Konstruktor-Block vorkommen.
`ConstraintsSet` IfStmt.`TYPEStmt(TypeAssumptions assumptions)`
`ConstraintsSet` WhileStmt.`TYPEStmt(TypeAssumptions assumptions)`
`ConstraintsSet` ThisCall.`TYPEStmt(TypeAssumptions assumptions)` This kann auch als Konstruktoraufruf in einem Konstruktor-Block vorkommen.
`ConstraintsSet` EmptyStmt.`TYPEStmt(TypeAssumptions assumptions)`
`ConstraintsSet` LocalVarDecl.`TYPEStmt(TypeAssumptions assumptions)`

### Uses of ConstraintsSet in de.dhbwstuttgart.syntaxtree.type

Methods in de.dhbwstuttgart.syntaxtree.type that return ConstraintsSet
`ConstraintsSet` GenericTypeVar.`TYPE(TypeAssumptions ass)` Die Type Methode auf generische Variablen angewandt sorgt fÃ¼r deren Eintragung in die TypeAssumptions.
`ConstraintsSet` BoundedGenericTypeVar.`TYPE(TypeAssumptions ass)`

### Uses of ConstraintsSet in de.dhbwstuttgart.typeinference

Methods in de.dhbwstuttgart.typeinference with parameters of type ConstraintsSet
`void` ConstraintsSet.`add(ConstraintsSet CSet)`

### Uses of ConstraintsSet in de.dhbwstuttgart.typeinference.unify

Subclasses of ConstraintsSet in de.dhbwstuttgart.typeinference.unify
`(package private) class` `ParallelConstraintSet`

Constructors in de.dhbwstuttgart.typeinference.unify with parameters of type ConstraintsSet
Constructor and Description
`ParallelUnify(ConstraintsSet constraints)`