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