## Uses of Class
mycompiler.mytypereconstruction.set.CSubstitutionSet

Packages that use CSubstitutionSet
mycompiler.myoperator
mycompiler.mystatement
mycompiler.mytypereconstruction
mycompiler.mytypereconstruction.set
mycompiler.mytypereconstruction.typeassumption

Uses of CSubstitutionSet in mycompiler.myoperator

Methods in mycompiler.myoperator with parameters of type CSubstitutionSet
`CTripleSet` `RelOp.TRExp(Binary binary, CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)` Implementierung der Algorithmen 5.49 bis 5.52 von Martin Pl�micke Achtung Workaround: Wenn die BaseTypes endlich korrekt implementiert sind, dann sollte der RefType "Integer" �berall durch den BaseType "IntegerType" ersetzt werden!!!
`abstract CTripleSet` `Operator.TRExp(Binary binary, CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)`
`CTripleSet` `NotEqualOp.TRExp(Binary binary, CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)` Implementierung des Algorithmus 5.54 von Martin Pl�micke Achtung Workaround: Wenn die BaseTypes endlich korrekt implementiert sind, dann sollte der RefType "Boolean" �berall durch den BaseType "BooleanType" ersetzt werden!!!
`CTripleSet` `MulOp.TRExp(Binary binary, CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)` Implementierung der Algorithmen 5.46, 5.47 und 5.48 von Martin Pl�micke Achtung Workaround: Wenn die BaseTypes endlich korrekt implementiert sind, dann sollte der RefType "Integer" �berall durch den BaseType "IntegerType" ersetzt werden!!!
`CTripleSet` `LogOp.TRExp(Binary binary, CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)` Achtung Workaround: Wenn die BaseTypes endlich korrekt implementiert sind, dann sollte der RefType "Boolean" �berall durch den BaseType "BooleanType" ersetzt werden!!!
`CTripleSet` `EqualOp.TRExp(Binary binary, CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)` Implementierung des Algorithmus 5.53 von Martin Pl�micke Achtung Workaround: Wenn die BaseTypes endlich korrekt implementiert sind, dann sollte der RefType "Boolean" �berall durch den BaseType "BooleanType" ersetzt werden!!!
`CTripleSet` `AddOp.TRExp(Binary binary, CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)` Implementierung der Algorithmen 5.44 und 5.45 von Martin Pl�micke Achtung Workaround: Wenn die BaseTypes endlich korrekt implementiert sind, dann sollte der RefType "Integer" �berall durch den BaseType "IntegerType" ersetzt werden!!!

Uses of CSubstitutionSet in mycompiler.mystatement

Methods in mycompiler.mystatement with parameters of type CSubstitutionSet
`CTripleSet` `This.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)` Implementierung des Algorithmus 5.35 von Martin Pl�micke Author: J�rg B�uerle
`CTripleSet` `PreIncExpr.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)` Achtung Workaround: RefType "Integer" sollte irgendwann gegen BaseType `IntegerType` ausgetauscht werden.
`CTripleSet` `PreDecExpr.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)` Achtung Workaround: RefType "Integer" sollte irgendwann gegen BaseType `IntegerType` ausgetauscht werden.
`CTripleSet` `PostIncExpr.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)` Achtung Workaround: RefType "Integer" sollte irgendwann gegen BaseType `IntegerType` ausgetauscht werden.
`CTripleSet` `PostDecExpr.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)` Achtung Workaround: RefType "Integer" sollte irgendwann gegen BaseType `IntegerType` ausgetauscht werden.
`CTripleSet` `PositivExpr.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)`
`CTripleSet` `Null.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)`
`CTripleSet` `NotExpr.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)` Implementierung des Algorithmus 5.42 von Martin Pl�micke Achtung Workaround: Wenn die BaseTypes endlich korrekt implementiert sind, dann sollte der RefType "Boolean" �berall durch den BaseType "BooleanType" ersetzt werden!!!
`CTripleSet` `NewClass.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)` Implementierung des Algorithmus 5.31 von Martin Pl�micke Author: J�rg B�uerle
`CTripleSet` `NewArray.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)` Implementierung des Algorithmus 5.32 von Martin Pl�micke Author: J�rg B�uerle
`CTripleSet` `NegativeExpr.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)` Implementierung des Algorithmus 5.41 von Martin Pl�micke Achtung Workaround: Wenn die BaseTypes endlich korrekt implementiert sind, dann sollte der RefType "Integer" �berall durch den BaseType "IntegerType" ersetzt werden!!!
`CTripleSet` `MethodCall.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)` Implementierung des Algorithmus 5.33 von Martin Pl�micke Author: J�rg B�uerle
`CTripleSet` `LocalOrFieldVar.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)` Implementierung des Algorithmus 5.37 von Martin Pl�micke Author: J�rg B�uerle
`CTripleSet` `Literal.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)` Implementierung des Algorithmus 5.40 von Martin Pl�micke Author: J�rg B�uerle
`CTripleSet` `IntLiteral.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)` Workaround: �berschreibt Methode TRExp aus der Super-Klasse `Literal`, weil die Implementierung von Unify (noch) nicht mit Basetypes umgehen kann.
`CTripleSet` `InstVar.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)` Implementierung des Algorithmus 5.38 von Martin Pl�micke Author: J�rg B�uerle
`CTripleSet` `InstanceOf.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)`
`abstract CTripleSet` `Expr.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)`
`CTripleSet` `CharLiteral.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)` Workaround: �berschreibt Methode TRExp aus der Super-Klasse `Literal`, weil die Implementierung von Unify (noch) nicht mit Basetypes umgehen kann.
`CTripleSet` `CastExpr.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)` Implementierung des Algorithmus 5.43 von Martin Pl�micke Author: J�rg B�uerle
`CTripleSet` `BoolLiteral.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)` Workaround: �berschreibt Methode TRExp aus der Super-Klasse `Literal`, weil die Implementierung von Unify (noch) nicht mit Basetypes umgehen kann.
`CTripleSet` `Binary.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)`
`CTripleSet` `Assign.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)` Implementierung des Algorithmus 5.30 von Martin Pl�micke Author: J�rg B�uerle
`CTripleSet` `WhileStmt.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)` Implementierung des Algorithmus 5.23 von Martin Pl�micke Achtung Workaround: RefType "Boolean" muss noch durch BaseType "BooleanType" ersetzt werden.
`CTripleSet` `This.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)`
`CTripleSet` `StringLiteral.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)`
`abstract CTripleSet` `Statement.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)`
`CTripleSet` `Return.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)` Implementierung des Algorithmus 5.22 von Martin Pl�micke Author: J�rg B�uerle
`CTripleSet` `PreIncExpr.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)`
`CTripleSet` `PreDecExpr.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)`
`CTripleSet` `PostIncExpr.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)`
`CTripleSet` `PostDecExpr.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)`
`CTripleSet` `PositivExpr.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)`
`CTripleSet` `Null.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)`
`CTripleSet` `NotExpr.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)`
`CTripleSet` `NewClass.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)` Implementierung des Algorithmus 5.26 von Martin Pl�micke Author: J�rg B�uerle
`CTripleSet` `NewArray.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)`
`CTripleSet` `NegativeExpr.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)`
`CTripleSet` `MethodCall.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)` Implementierung des Algorithmus 5.27 von Martin Pl�micke Author: J�rg B�uerle
`CTripleSet` `LocalVarDecl.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)` Implementierung des Algorithmus 5.24 von Martin Pl�micke Author: J�rg B�uerle
`CTripleSet` `LocalOrFieldVar.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)`
`CTripleSet` `IntLiteral.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)`
`CTripleSet` `InstVar.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)`
`CTripleSet` `InstanceOf.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)`
`CTripleSet` `IfStmt.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)` Implementierung des Algorithmus 5.21 von Martin Pl�micke Achtung Workaround: RefType "Boolean" durch BaseType \code{BooleanType} ersetzen.
`CTripleSet` `EmptyStmt.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)`
`CTripleSet` `CharLiteral.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)`
`CTripleSet` `CastExpr.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)`
`CTripleSet` `BoolLiteral.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)`
`CTripleSet` `Block.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)` Implementierung des Algorithmus 5.20 von Martin Pl�micke Author: J�rg B�uerle
`CTripleSet` `Binary.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)`
`CTripleSet` `Assign.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)` Implementierung des Algorithmus 5.25 von Martin Pl�micke Author: J�rg B�uerle
`CTripleSet` `Block.TRStatements(CSubstitutionSet sigma, CTypeAssumptionSet V, de.dhbwstuttgart.typeinference.Menge<Statement> statementList, int index, CTypeAssumptionSet V_start, CSupportData supportData)` Implementierung des Algorithmus 5.19 von Martin Pl�micke Author: J�rg B�uerle

Uses of CSubstitutionSet in mycompiler.mytypereconstruction

Methods in mycompiler.mytypereconstruction that return CSubstitutionSet
`CSubstitutionSet` `CReconstructionTuple.getSubSet()`
`CSubstitutionSet` `CTypeReconstructionResult.getSubstitutions()`
`CSubstitutionSet` `CTriple.getSubstitutions()` Author: J�rg B�uerle
`CSubstitutionSet` `CMultiplyTuple.getSubstitutions()` Author: J�rg B�uerle

Methods in mycompiler.mytypereconstruction with parameters of type CSubstitutionSet
`void` `CSubstitution.applyUnifier(CSubstitutionSet unifier)` Wendet den Unifier auf die rechte Seite dieser Substitution an.
`CTriple` `CTriple.cloneAndApplyUnify(CSubstitutionSet unifier)` Kopiert dieses Triple und wendet alle Substitutionen eines Unifiers auf die Kopie an.
`void` `CReconstructionTuple.setSubSet(CSubstitutionSet subSet)`
`void` `CTypeReconstructionResult.setSubstitutions(CSubstitutionSet substitutions)`
`void` `CTriple.setSubstitutions(CSubstitutionSet substitutions)` Author: J�rg B�uerle
`void` `CMultiplyTuple.setSubstitutions(CSubstitutionSet substitutions)` Author: J�rg B�uerle

Constructors in mycompiler.mytypereconstruction with parameters of type CSubstitutionSet
`CMultiplyTuple(CSubstitutionSet substitutions, de.dhbwstuttgart.typeinference.Menge<Type> resultTypes, CTypeAssumptionSet assumptionSet)`
`CReconstructionTuple(CSubstitutionSet subSet, CTypeAssumptionSet assumSet)`
`CTriple(CSubstitutionSet substitutions, Type resultType, CTypeAssumptionSet assumptionSet)`

Uses of CSubstitutionSet in mycompiler.mytypereconstruction.set

Methods in mycompiler.mytypereconstruction.set that return CSubstitutionSet
`CSubstitutionSet` `CSubstitutionSet.deepCopy()`
`CSubstitutionSet` `CSubstitutionSet.shallowCopy()`

Methods in mycompiler.mytypereconstruction.set with parameters of type CSubstitutionSet
`void` `CSubstitutionSet.applyUnifier(CSubstitutionSet unifier)` Wendet den Unifier auf die rechten Seiten alle Substitutionen an.
`void` `CTypeAssumptionSet.sub(CSubstitutionSet subtitutions)`

Uses of CSubstitutionSet in mycompiler.mytypereconstruction.typeassumption

Methods in mycompiler.mytypereconstruction.typeassumption with parameters of type CSubstitutionSet
`void` `CTypeAssumption.sub(CSubstitutionSet substitutionSet)`