PolyBoRi
|
#include "CCuddNavigator.h"
Go to the source code of this file.
Classes | |
class | polybori::CCuddLastIter |
This class defines an iterator over the last minimal term of a given ZDD node. More... | |
Namespaces | |
namespace | polybori |
This file defines an stl-like iterator for accessing the nonzero indices of the leading (last) minimal term of Cudd decision diagrams.