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