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

- Packages that use ConstraintsSet
  Package | Description
  --- | ---
  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
    Modifier and Type | Method and Description
    --- | ---
    `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
    Modifier and Type | Method and Description
    --- | ---
    `ConstraintsSet` | ConstructorCall.`overloading(TypeAssumptions assumptions)`

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

    Methods in de.dhbwstuttgart.syntaxtree.statement that return ConstraintsSet
    Modifier and Type | Method and Description
    --- | ---
    `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 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
    Modifier and Type | Method and Description
    --- | ---
    `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
    Modifier and Type | Method and Description
    --- | ---
    `void` | ConstraintsSet.`add(ConstraintsSet CSet)`

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

    Subclasses of ConstraintsSet in de.dhbwstuttgart.typeinference.unify
    Modifier and Type | Class and Description
    --- | ---
    `(package private) class` | `ParallelConstraintSet`

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