tdzdd::ZddSubsetter< S > Class Template Reference

Breadth-first ZDD subset builder. More...

#include <DdBuilder.hpp>

Public Member Functions
int	initialize (NodeId &root)
	Initializes the builder. More...
void	subset (int i)
	Builds one level. More...

Detailed Description

template<typename S>
class tdzdd::ZddSubsetter< S >

Breadth-first ZDD subset builder.

Definition at line 678 of file DdBuilder.hpp.

Member Function Documentation

initialize()

template<typename S>

int tdzdd::ZddSubsetter< S >::initialize ( NodeId &  root )

inline

Initializes the builder.

Parameters

root	the root node.

Definition at line 721 of file DdBuilder.hpp.

References tdzdd::DdSweeper< ARITY >::setRoot().

Referenced by tdzdd::DdStructure< ARITY >::zddSubset().

Here is the call graph for this function:

subset()

template<typename S>

void tdzdd::ZddSubsetter< S >::subset ( int  i )

inline

Builds one level.

Parameters

i

level.

Definition at line 771 of file DdBuilder.hpp.

References tdzdd::MyHashTable< T, Hash, Equal >::add(), and tdzdd::DdSweeper< ARITY >::update().

Referenced by tdzdd::DdStructure< ARITY >::zddSubset().

Here is the call graph for this function:

---

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

• include/tdzdd/dd/DdBuilder.hpp