#include "CCuddNavigator.h"
This file implements an iterator-like class over the first minimal term of a given ZDD node.