Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

## Uses of Class
mycompiler.mystatement.Binary

Packages that use Binary
mycompiler.myoperator |

Uses of Binary in mycompiler.myoperator

Methods in mycompiler.myoperator with parameters of type Binary
`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!!!

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES