CCuddNavigator.h File Reference

#include <iterator>
#include "pbori_defs.h"
#include "pbori_tags.h"
#include "CCuddInterface.h"

Go to the source code of this file.

Classes
class	CCuddNavigator
	This class defines an iterator for navigating through then and else branches of ZDDs. More...
Functions
CCuddNavigator	explicit_navigator_cast (CCuddNavigator::pointer_type ptr)

---

Detailed Description

Author:

Alexander Dreyer

Date:

2006-03-26

This file defines an iterator for navigating through then and else branches of Cudd decision diagrams.

Note:

: Tested for Cudd's ZDDs only.

Copyright:

(c) 2006 by The PolyBoRi Team

---

Function Documentation

CCuddNavigator explicit_navigator_cast

(

CCuddNavigator::pointer_type

ptr

)

[inline]

Referenced by CCommutativeCacheManagement< CacheType >::find(), CCacheManBase< ManagerType, CacheType, 3 >::find(), CCacheManBase< ManagerType, CacheType, 2 >::find(), and CCacheManBase< ManagerType, CacheType, 1 >::find().