Adiar  2.1.0
An External Memory Decision Diagram Library
adiar::statistics::intercut_t Struct Reference

Intercut algorithm statistics. More...

#include <adiar/statistics.h>

Inheritance diagram for adiar::statistics::intercut_t:
[legend]
Collaboration diagram for adiar::statistics::intercut_t:
[legend]

Public Attributes

adiar::statistics::__alg_base::__lpq_t lpq
 Type and usage of this algorithm's levelized priority queue. More...
 

Detailed Description

Intercut algorithm statistics.

See also
bdd_from zdd_change zdd_complement zdd_expand zdd_from

Member Data Documentation

◆ lpq

adiar::statistics::__alg_base::__lpq_t adiar::statistics::__alg_base::lpq
inherited


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