CCuddNavigator.cc File Reference
#include "CCuddNavigator.h"
Detailed Description
- Author:
- Alexander Dreyer
- Date:
- 2006-03-26
This file implements 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