TdZdd  1.1
A top-down/breadth-first decision diagram manipulation framework
List of all members
tdzdd::BddCardinality< T, AR > Struct Template Reference

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

#include <Cardinality.hpp>

Detailed Description

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

BDD evaluator that counts the number of elements.

Template Parameters
Tdata type for counting the number, which can be integral, real, or std::string.
ARarity of the nodes.

Definition at line 196 of file Cardinality.hpp.


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