| Adiar 2.1.0
    An External Memory Decision Diagram Library | 
Nested multi-variable sweeping. More...
#include <adiar/statistics.h>
| Public Attributes | |
| uintwide | shortcut_terminal = 0 | 
| Number of potential recursions shortcut to a terminal. | |
| uintwide | shortcut_node = 0 | 
| Number of potential recursions shortcut to an internal node. | |
| uintwide | products = 0 | 
| Number of recursions left for a product construction. | |
Nested multi-variable sweeping.