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

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.
 

Detailed Description

Nested multi-variable sweeping.


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