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
Public Member Functions inherited from Stats::Node
virtual	~Node ()

Private Attributes
const Formula &	formula
VResult	vec

Detailed Description

Definition at line 3123 of file statistics.hh.

Constructor & Destructor Documentation

FormulaNode()

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

inline

Definition at line 3130 of file statistics.hh.

Member Function Documentation

result()

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 3133 of file statistics.hh.

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

size()

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 3132 of file statistics.hh.

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

str()

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

inlinevirtual

Implements Stats::Node.

Definition at line 3136 of file statistics.hh.

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

total()

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 3134 of file statistics.hh.

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

Member Data Documentation

formula

const Formula& Stats::FormulaNode::formula

private

Definition at line 3126 of file statistics.hh.

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

vec

VResult Stats::FormulaNode::vec

mutableprivate

Definition at line 3127 of file statistics.hh.

Referenced by result().

---

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

• base/statistics.hh