tdzdd::DdSweeper< ARITY > Class Template Reference

On-the-fly DD cleaner. More...

#include <DdSweeper.hpp>

Public Member Functions
	DdSweeper (NodeTableEntity< ARITY > &diagram)
	Constructor. More...
	DdSweeper (NodeTableEntity< ARITY > &diagram, MyVector< NodeBranchId > &oneSrcPtr)
	Constructor. More...
void	setRoot (NodeId &root)
	Set the root pointer. More...
void	update (int current, int child, size_t count)
	Updates status and sweeps the DD if necessary. More...

Detailed Description

template<int ARITY>
class tdzdd::DdSweeper< ARITY >

On-the-fly DD cleaner.

Removes the nodes that are identified as equivalent to the 0-terminal while top-down DD construction.

Definition at line 43 of file DdSweeper.hpp.

Constructor & Destructor Documentation

DdSweeper() [1/2]

template<int ARITY>

tdzdd::DdSweeper< ARITY >::DdSweeper ( NodeTableEntity< ARITY > &  diagram )

inline

Constructor.

Parameters

diagram

the diagram to sweep.

Definition at line 60 of file DdSweeper.hpp.

DdSweeper() [2/2]

template<int ARITY>

tdzdd::DdSweeper< ARITY >::DdSweeper ( NodeTableEntity< ARITY > &  diagram, MyVector< NodeBranchId > &  oneSrcPtr  )

inline

Constructor.

Parameters

diagram	the diagram to sweep.
oneSrcPtr	collection of node branch IDs.

Definition at line 69 of file DdSweeper.hpp.

Member Function Documentation

setRoot()

template<int ARITY>

void tdzdd::DdSweeper< ARITY >::setRoot ( NodeId &  root )

inline

Set the root pointer.

Parameters

root	reference to the root ID storage.

Definition at line 82 of file DdSweeper.hpp.

Referenced by tdzdd::DdBuilder< S >::initialize(), tdzdd::DdBuilderMP< S >::initialize(), tdzdd::ZddSubsetter< S >::initialize(), and tdzdd::ZddSubsetterMP< S >::initialize().

update()

template<int ARITY>

void tdzdd::DdSweeper< ARITY >::update ( int  current, int  child, size_t  count  )

inline

Updates status and sweeps the DD if necessary.

Parameters

current	current level.
child	the level at which edges from this level are completed.
count	the number of dead nodes at this level.

Definition at line 92 of file DdSweeper.hpp.

Referenced by tdzdd::DdBuilder< S >::construct(), tdzdd::DdBuilderMP< S >::construct(), tdzdd::ZddSubsetter< S >::subset(), and tdzdd::ZddSubsetterMP< S >::subset().

---

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

• include/tdzdd/dd/DdSweeper.hpp