PolyBoRi
CCuddNavigator Class Reference

This class defines an iterator over the first minimal term of a given ZDD node. More...

Inheritance diagram for CCuddNavigator:
polybori::CCuddLastIter

Detailed Description

This class defines an iterator over the first minimal term of a given ZDD node.


The documentation for this class was generated from the following file: