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

Constructor & Destructor Documentation

FormulaNode()

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

inline

Definition at line 3105 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 3108 of file statistics.hh.

References Stats::Formula::result().

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

References Stats::Formula::size().

str()

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

inlinevirtual

Implements Stats::Node.

Definition at line 3111 of file statistics.hh.

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

References Stats::Formula::total().

Member Data Documentation

formula

const Formula& Stats::FormulaNode::formula

private

Definition at line 3101 of file statistics.hh.

vec

VResult Stats::FormulaNode::vec

mutableprivate

Definition at line 3102 of file statistics.hh.

---

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

• base/statistics.hh