tdzdd::ZddCardinality< T, AR > Struct Template Reference

ZDD evaluator that counts the number of elements. More...

#include <Cardinality.hpp>

Detailed Description

template<typename T = std::string, int AR = 2>
struct tdzdd::ZddCardinality< T, AR >

ZDD evaluator that counts the number of elements.

Template Parameters

T	data type for counting the number, which can be integral, real, or std::string.
AR	arity of the nodes.

Definition at line 209 of file Cardinality.hpp.

---

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

• include/tdzdd/eval/Cardinality.hpp