Adiar 2.1.0
An External Memory Decision Diagram Library
Loading...
Searching...
No Matches
adiar::statistics::prod2u_t Struct Reference

2-ary Product Construction algorithm for unary inputs. More...

#include <adiar/statistics.h>

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

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. "
 

Detailed Description

2-ary Product Construction algorithm for unary inputs.

See also
bdd_apply zdd_binop

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: