#include "CCuddNavigator.h"
This file implements an iterator for navigating through then and else branches of Cudd decision diagrams.