src/base/statistics.hh

2100  * Base class for formula statistic node. These nodes are used to build a tree
2107      * Return the number of nodes in the subtree starting at this node.
3117  * Helper class to construct formula node trees.
3125     NodePtr node;
3132     Temp(const NodePtr &n) : node(n) { }
3134     Temp(NodePtr &&n) : node(std::move(n)) { }
3137      * Return the node pointer.
3138      * @return the node pointer.
3140     operator NodePtr&() { return node; }
3143      * Makde gcc < 4.6.3 happy and explicitly get the underlying node.
3145     NodePtr getNodePtr() const { return node; }
3150      * @param s The ScalarStat to place in a node.
3153         : node(new ScalarStatNode(s.info()))
3158      * @param s The ScalarStat to place in a node.
3161         : node(new ScalarStatNode(s.info()))
3166      * @param s The ScalarStat to place in a node.
3169         : node(new ScalarStatNode(s.info()))
3174      * @param s The VectorStat to place in a node.
3177         : node(new VectorStatNode(s.info()))
3181         : node(new VectorStatNode(s.info()))
3188         : node(new FormulaNode(f))
3193      * @param p The ScalarProxy to place in a node.
3197         : node(new ScalarProxyNode<Stat>(p))
3202      * @param value The value of the const node.
3205         : node(new ConstNode<signed char>(value))
3210      * @param value The value of the const node.
3213         : node(new ConstNode<unsigned char>(value))
3218      * @param value The value of the const node.
3221         : node(new ConstNode<signed short>(value))
3226      * @param value The value of the const node.
3229         : node(new ConstNode<unsigned short>(value))
3234      * @param value The value of the const node.
3237         : node(new ConstNode<signed int>(value))
3242      * @param value The value of the const node.
3245         : node(new ConstNode<unsigned int>(value))
3250      * @param value The value of the const node.
3253         : node(new ConstNode<signed long>(value))
3258      * @param value The value of the const node.
3261         : node(new ConstNode<unsigned long>(value))
3266      * @param value The value of the const node.
3269         : node(new ConstNode<signed long long>(value))
3274      * @param value The value of the const node.
3277         : node(new ConstNode<unsigned long long>(value))
3282      * @param value The value of the const node.
3285         : node(new ConstNode<float>(value))
3290      * @param value The value of the const node.
3293         : node(new ConstNode<double>(value))