Stats::FormulaNode Class Reference

#include <statistics.hh>

Inheritance diagram for Stats::FormulaNode:

Public Member Functions
	FormulaNode (const Formula &f)
size_type	size () const
	Return the number of nodes in the subtree starting at this node. More...
const VResult &	result () const
	Return the result vector of this subtree. More...
Result	total () const
	Return the total of the result vector. More...
std::string	str () const

Private Attributes
const Formula &	formula
VResult	vec

Detailed Description

Definition at line 2977 of file statistics.hh.

Constructor & Destructor Documentation

Stats::FormulaNode::FormulaNode ( const Formula &  f )

inline

Definition at line 2984 of file statistics.hh.

Member Function Documentation

const VResult& Stats::FormulaNode::result ( ) const

inlinevirtual

Return the result vector of this subtree.

Returns

The result vector of this subtree.

Implements Stats::Node.

Definition at line 2987 of file statistics.hh.

References formula, Stats::Formula::result(), and vec.

size_type Stats::FormulaNode::size ( ) const

inlinevirtual

Return the number of nodes in the subtree starting at this node.

Returns

the number of nodes in this subtree.

Implements Stats::Node.

Definition at line 2986 of file statistics.hh.

References formula, and Stats::Formula::size().

std::string Stats::FormulaNode::str ( ) const

inlinevirtual

Implements Stats::Node.

Definition at line 2990 of file statistics.hh.

References formula, and Stats::Formula::str().

Result Stats::FormulaNode::total ( ) const

inlinevirtual

Return the total of the result vector.

Returns

The total of the result vector.

Implements Stats::Node.

Definition at line 2988 of file statistics.hh.

References formula, and Stats::Formula::total().

Member Data Documentation

const Formula& Stats::FormulaNode::formula

private

Definition at line 2980 of file statistics.hh.

Referenced by result(), size(), str(), and total().

VResult Stats::FormulaNode::vec

mutableprivate

Definition at line 2981 of file statistics.hh.

Referenced by result().

---

The documentation for this class was generated from the following file:

• base/statistics.hh