tdzdd::DdEval< E, T, R > Class Template Reference

Base class of DD evaluators. More...

#include <DdEval.hpp>

Public Member Functions
bool	isThreadSafe () const
	Declares thread-safety. More...
bool	showMessages () const
	Declares preference to show messages. More...
void	initialize (int level)
	Initialization. More...
R	getValue (T const &v)
	Makes a result value. More...
void	destructLevel (int i)
	Destructs i-th level of data storage. More...

Detailed Description

template<typename E, typename T, typename R = T>
class tdzdd::DdEval< E, T, R >

Base class of DD evaluators.

Every implementation must define the following functions:

• void evalTerminal(T& v, int id)
• void evalNode(T& v, int level, DdValues<T,ARITY> const& values)

Optionally, the following functions can be overloaded:

• bool showMessages()
• void initialize(int level)
• R getValue(T const& work)
• void destructLevel(int i)

Template Parameters

E	the class implementing this class.
T	data type of work area for each node.
R	data type of return value.

Definition at line 102 of file DdEval.hpp.

Member Function Documentation

destructLevel()

template<typename E, typename T, typename R = T>

void tdzdd::DdEval< E, T, R >::destructLevel ( int  i )

inline

Destructs i-th level of data storage.

Parameters

i	the level to be destructerd.

Definition at line 148 of file DdEval.hpp.

getValue()

template<typename E, typename T, typename R = T>

R tdzdd::DdEval< E, T, R >::getValue ( T const &  v )

inline

Makes a result value.

Parameters

v	work area value for the root node.

Returns

final value of the evaluation.

Definition at line 140 of file DdEval.hpp.

initialize()

template<typename E, typename T, typename R = T>

void tdzdd::DdEval< E, T, R >::initialize ( int  level )

inline

Initialization.

Parameters

level

the maximum level of the DD.

Definition at line 132 of file DdEval.hpp.

isThreadSafe()

template<typename E, typename T, typename R = T>

bool tdzdd::DdEval< E, T, R >::isThreadSafe ( ) const

inline

Declares thread-safety.

Returns

true if this class is thread-safe.

Definition at line 116 of file DdEval.hpp.

showMessages()

template<typename E, typename T, typename R = T>

bool tdzdd::DdEval< E, T, R >::showMessages ( ) const

inline

Declares preference to show messages.

Returns

true if messages are preferred.

Definition at line 124 of file DdEval.hpp.

---

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

• include/tdzdd/DdEval.hpp