1 #ifndef _QTBINARYINDUCE_
2 #define _QTBINARYINDUCE_
5 #include <ospace/string.h>
225 #include "qlparser/qtbinaryinduce.icc"
QtDiv(QtOperation *input1, QtOperation *input2)
constructor getting the two operands
std::vector< QtData * > QtDataList
list of QtData pointers
Definition: qtnode.hh:77
Definition: qtnode.hh:463
virtual bool isCommutative() const
returns FALSE saying that the operation IS NOT commutative
QtData * computeBinaryOp(QtScalarData *operand1, QtScalarData *operand2, const BaseType *resultBaseType)
computes a binary operation on two scalar objects
OpType
Definition: ops.hh:121
QtBinaryInduce(QtOperation *input1, QtOperation *input2, Ops::OpType initOpType)
constructor getting the two operands
virtual void printAlgebraicExpression(std::ostream &s=std::cout)
prints the algebraic expression
virtual const QtNodeType getNodeType() const
method for identification of nodes
Ops::OpType opType
Definition: qtbinaryinduce.hh:96
QtMult(QtOperation *input1, QtOperation *input2)
constructor getting the two operands
QtChildType
Definition: qtnode.hh:186
QtNodeType
Definition: qtnode.hh:93
QtOperation * input2
second operation operand
Definition: qtbinaryoperation.hh:140
Definition: qtnode.hh:394
QtData * evaluate(QtDataList *inputList)
method for evaluating the node
virtual const QtNodeType getNodeType() const
method for identification of nodes
virtual const QtTypeElement & checkType(QtTypeTuple *typeTuple=NULL)
type checking of the subtree
Definition: qtbinaryinduce.hh:111
Definition: qtscalardata.hh:53
QtData * computeUnaryMDDOp(QtMDD *operand1, QtScalarData *operand2, const BaseType *resultBaseType, int scalarPos=1)
computes an unary induce operation with one MDD object and a scalar value either being atomic or comp...
Definition: qtbinaryoperation.hh:52
QtPlus(QtOperation *input1, QtOperation *input2)
constructor getting the two operands
virtual void printAlgebraicExpression(std::ostream &s=std::cout)
prints the algebraic expression
virtual void printAlgebraicExpression(std::ostream &s=std::cout)
prints the algebraic expression
virtual void printTree(int tab, std::ostream &s=std::cout, QtChildType mode=QT_ALL_NODES)
prints the tree
virtual const QtNodeType getNodeType() const
method for identification of nodes
Definition: qtbinaryinduce.hh:55
Definition: relcatalogif/basetype.hh:66
QtData * computeBinaryMDDOp(QtMDD *operand1, QtMDD *operand2, const BaseType *resultBaseType)
computes a binary induce operation on two MDD objects
virtual void printTree(int tab, std::ostream &s=std::cout, QtChildType mode=QT_ALL_NODES)
prints the tree
QtMinus(QtOperation *input1, QtOperation *input2)
constructor getting the two operands
QtOperation * input1
first operation operand
Definition: qtbinaryoperation.hh:138
Definition: qtbinaryinduce.hh:201
Definition: qtbinaryinduce.hh:171
virtual void printAlgebraicExpression(std::ostream &s=std::cout)
prints the algebraic expression
virtual QtOperation * getUniqueOrder(const QtNode::QtNodeType ID)
for associative law
Definition: qtbinaryinduce.hh:141
virtual void printTree(int tab, std::ostream &s=std::cout, QtChildType mode=QT_ALL_NODES)
prints the tree
virtual const QtNodeType getNodeType() const
method for identification of nodes
Definition: qtoperation.hh:57
virtual void printTree(int tab, std::ostream &s=std::cout, QtChildType mode=QT_ALL_NODES)
prints the tree
QtData * computeOp(QtData *operand1, QtData *operand2)
computes the binary operation
virtual QtOperation * getUniqueOrder(const QtNode::QtNodeType ID)
optimizes the tree
Definition: qtnode.hh:190
virtual bool isCommutative() const
returns FALSE saying that the operation IS NOT commutative