CCuddNavigator.cc File Reference
#include "CCuddNavigator.h"
Detailed Description
- Author:
- Alexander Dreyer
- Date:
- 2006-03-26
This file implements an iterator-like class over the first minimal term of a given ZDD node.
- Note:
- : Tested for Cudd's ZDDs only.
- Copyright:
- (c) 2006 by The PolyBoRi Team