|
Adiar 2.1.0
An External Memory Decision Diagram Library
|
2-ary Product Construction algorithm for unary inputs. More...
#include <adiar/statistics.h>
Public Attributes | |
| __raccess_base | ra |
| Statistics for the random-access algorithmic variant. | |
| __pq2_base | pq |
| Statistics for the double priority queue algorithmic variant. | |
| uintwide | requests [2] = { 0, 0 } |
| Number of requests of arity 1 and 2. | |
| uintwide | requests_unique [2] = { 0, 0 } |
| Number of unique requests of arity 1 and 2. | |
| adiar::statistics::__alg_base::__lpq_t | lpq |
| Type and usage of this algorithm's levelized priority queue. " | |
|
inherited |