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