PropagationStatistics Class Reference

#include <PropagationStatistics.h>

List of all members.

Public Member Functions
void	reset ()
ulonglong	propagations () const
	Return the total number of propagations.
ulonglong	propagationFailures () const
	Return the total number of propagation failures.
ulonglong	extraRemovals () const
	Return the number of extra (MC-like) value removals.
ulonglong	extraPropagations () const
	Return the number of extra (MC-like) propagations.
ulonglong	extraPropagationFailures () const
	Return the number of failed extra (MC-like) propagations.
ulonglong	extraUselessPropagations () const
	Return the number of useless extra propagations.
Protected Attributes
ulonglong	m_propagations
	The total number of propagations.
ulonglong	m_propagationFailures
	The total number of propagation failures.
ulonglong	m_extraRemovals
	The number of extra (MC-like) value removals.
ulonglong	m_extraPropagations
	The number of extra (MC-like) propagations.
ulonglong	m_extraPropagationFailures
	The number of failed extra (MC-like) propagations.
ulonglong	m_extraUselessPropagations
	The number of useless extra propagations.
Friends
class	Decomposition

---

Detailed Description

Class storing propagation-related statistics.

---

Friends And Related Function Documentation

friend class Decomposition [friend]

We give the Decomposition class access to this, to simplify the interface. This used to be part of Decomposition anyway, and it is only used there.

---

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

• PropagationStatistics.h

---