mycompiler.myoperator
Class MulOp

java.lang.Object
  extended by mycompiler.myoperator.Operator
      extended by mycompiler.myoperator.MulOp
Direct Known Subclasses:
DivideOp, ModuloOp, TimesOp

public abstract class MulOp
extends Operator


Constructor Summary
MulOp()
           
 
Method Summary
 CTripleSet 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!!!
 
Methods inherited from class mycompiler.myoperator.Operator
codegen
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

MulOp

public MulOp()
Method Detail

TRExp

public CTripleSet 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!!!
Author: J�rg B�uerle

Specified by:
TRExp in class Operator
Parameters:
binary -
sigma -
V -
supportData -
Returns: