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
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
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