|
Adiar 2.1.0
An External Memory Decision Diagram Library
|
Inner Up Sweep(s) More...
#include <adiar/statistics.h>
Public Attributes | |
| uintwide | inner_arcs = 0 |
| Number of arcs within inner sweep. | |
| uintwide | outer_arcs = 0 |
| Number of arcs within outer sweep. | |
| uintwide | reduced_levels = 0 |
| Number of levels reduced canonically. | |
| uintwide | reduced_levels__fast = 0 |
| Number of levels reduced "fast" and non-canonically. | |
| uintwide | sum_node_arcs = 0 |
| Sum of the inputs' number of arcs to internal nodes. | |
| uintwide | sum_terminal_arcs = 0 |
| Sum of the inputs' number of arcs to terminals. | |
| uintwide | removed_by_rule_1 = 0 |
| Number of nodes removed due to reduction rule 1, i.e. the number of nodes that are suppressed in the specific type of decision diagram. | |
| uintwide | removed_by_rule_2 = 0 |
| Number of nodes removed due to reduction rule 2, i.e. the number of duplicate of nodes that have been removed. | |
| adiar::statistics::__alg_base::__lpq_t | lpq |
| Type and usage of this algorithm's levelized priority queue. " | |
Inner Up Sweep(s)
|
inherited |