tdzdd::DdStructure< ARITY >::const_iterator Class Reference

Iterator on a set of integer vectors represented by a DD. More...

#include <DdStructure.hpp>

Detailed Description

template<int ARITY>
class tdzdd::DdStructure< ARITY >::const_iterator

Iterator on a set of integer vectors represented by a DD.

Definition at line 556 of file DdStructure.hpp.

---

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

• include/tdzdd/DdStructure.hpp