Adiar
2.1.0
An External Memory Decision Diagram Library
|
Root Requests generated for Inner Down Sweep. More...
#include <adiar/statistics.h>
Classes | |
struct | inputs_t |
struct | requests_t |
Public Attributes | |
struct adiar::statistics::nested_sweeping_t::inner_down_t::inputs_t | inputs |
struct adiar::statistics::nested_sweeping_t::inner_down_t::requests_t | requests |
uintwide | removed_by_rule_1 = 0 |
Number of preserving and terminal requests that stem from suppressing a node on the nesting level. | |
uintwide | ra_runs = 0 |
Number of sweeps run with random access. | |
uintwide | pq_runs = 0 |
Number of sweeps run with multiple priority queues. | |
Root Requests generated for Inner Down Sweep.