343 #include "qlparser/qtcondense.icc"
virtual const char * getClassName() const
method returning class name
QtCondense(Ops::OpType newOpType)
constructor getting operation
virtual const char * getAlgebraicName() const
method returning algebraic identifier
virtual const QtNodeType getNodeType() const
method for identification of nodes
std::vector< QtData * > QtDataList
list of QtData pointers
Definition: qtnode.hh:77
std::vector< QtTrimElement * > QtTrimList
list of QtTrimData structures
Definition: qtnode.hh:88
QtAreaType
Definition: qtnode.hh:180
virtual void printTree(int tab, std::ostream &s=std::cout, QtChildType mode=QT_ALL_NODES)
prints the tree
Definition: qtcondense.hh:281
Definition: qtnode.hh:463
virtual const char * getAlgebraicName() const
method returning algebraic identifier
virtual const QtTypeElement & checkType(QtTypeTuple *typeTuple=NULL)
type checking of the subtree
OpType
Definition: ops.hh:121
virtual const char * getAlgebraicName() const
method returning algebraic identifier
virtual const char * getClassName() const
method returning class name
virtual const char * getAlgebraicName() const
method returning algebraic identifier
QtOperation * input
operation operand
Definition: qtunaryoperation.hh:105
QtAddCells()
default constructor
Definition: qtcondense.hh:140
virtual const char * getAlgebraicName() const
method returning algebraic identifier
QtAvgCells()
default constructor
QtData * evaluate(QtDataList *inputList)
method for evaluating the node
QtChildType
Definition: qtnode.hh:186
QtNodeType
Definition: qtnode.hh:93
Definition: qtnode.hh:394
QtMinCells()
default constructor
virtual const char * getClassName() const
method returning class name
Definition: qtcondense.hh:45
Definition: qtcondense.hh:246
virtual const char * getClassName() const
method returning class name
Definition: qtcondense.hh:104
QtData * evaluate(QtDataList *inputList)
method for evaluating the node
virtual const char * getAlgebraicName() const
method returning algebraic identifier
Definition: qtunaryoperation.hh:52
virtual const QtNodeType getNodeType() const
method for identification of nodes
QtMaxCells()
default constructor
QtData * computeFullCondense(QtDataList *inputList, r_Minterval &areaOp)
method for computing full condense operation (without early termination option)
virtual const QtNodeType getNodeType() const
method for identification of nodes
virtual void optimizeLoad(QtTrimList *trimList)
optimizing load access
Definition: qtcondense.hh:176
QtCountCells()
default constructor
QtData * evaluate(QtDataList *inputList)
method for evaluating the node
QtAll()
default constructor
virtual const QtNodeType getNodeType() const
method for identification of nodes
Ops::OpType opType
operation type
Definition: qtcondense.hh:86
virtual const QtNodeType getNodeType() const
method for identification of nodes
virtual const char * getClassName() const
method returning class name
QtSome()
default constructor
virtual const char * getAlgebraicName() const
method returning algebraic identifier
QtData * evaluate(QtDataList *inputList)
method for evaluating the node
Definition: qtcondense.hh:211
Definition: qtoperation.hh:57
virtual const char * getClassName() const
method returning class name
Definition: qtcondense.hh:316
virtual const char * getClassName() const
method returning class name
virtual void printAlgebraicExpression(std::ostream &s=std::cout)
prints the algebraic expression
QtData * evaluate(QtDataList *inputList)
method for evaluating the node
Definition: qtnode.hh:190
QtData * evaluate(QtDataList *inputList)
method for evaluating the node
virtual const char * getClassName() const
method returning class name
virtual const char * getAlgebraicName() const
method returning algebraic identifier
virtual const QtNodeType getNodeType() const
method for identification of nodes
Definition: minterval.hh:249
virtual QtAreaType getAreaType()
test if the edge to the parent node is of type mdd or atomic
virtual const QtNodeType getNodeType() const
method for identification of nodes
QtData * evaluate(QtDataList *inputList)
method for evaluating the node