Numerical information on ZDDs. More...

Functions
size_t	adiar::zdd_nodecount (const zdd &A)
	The number of (internal) nodes used to represent the family of sets.

zdd::label_type	adiar::zdd_varcount (const zdd &A)
	The number of variables that exist in the family of sets, i.e. the number of levels present in the ZDD.

uint64_t	adiar::zdd_size (const zdd &A)
	The number of sets in the family of sets.

Detailed Description

Numerical information on ZDDs.

Functions