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]
Generated on Thu Aug 5 12:57:27 2010 for PolyBoRi by  doxygen 1.6.3