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.