tdzdd::DdValues< T, ARITY > Class Template Reference

Collection of child node values/levels for DdEval::evalNode function interface. More...

#include <DdEval.hpp>

Public Member Functions
T const &	get (int b) const
	Returns the value of the b-th child. More...
int	getLevel (int b) const
	Returns the level of the b-th child. More...

Detailed Description

template<typename T, int ARITY>
class tdzdd::DdValues< T, ARITY >

Collection of child node values/levels for DdEval::evalNode function interface.

Template Parameters

T	data type of work area for each node.
ARITY	the number of children for each node.

Definition at line 39 of file DdEval.hpp.

Member Function Documentation

get()

template<typename T, int ARITY>

T const& tdzdd::DdValues< T, ARITY >::get ( int  b ) const

inline

Returns the value of the b-th child.

Parameters

b	branch index.

Returns

value of the b-th child.

Definition at line 49 of file DdEval.hpp.

getLevel()

template<typename T, int ARITY>

int tdzdd::DdValues< T, ARITY >::getLevel ( int  b ) const

inline

Returns the level of the b-th child.

Parameters

b	branch index.

Returns

level of the b-th child.

Definition at line 59 of file DdEval.hpp.

---

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

• include/tdzdd/DdEval.hpp