adiar::statistics::replace_t Struct Reference

Variable replacement statistics. More...

#include <adiar/statistics.h>

Public Attributes
uintwide	terminal_returns = 0
	Number of runs using 0 I/Os due to a terminal input.
uintwide	identity_returns = 0
	Number of runs using 0 I/Os due to no variables are changed.
uintwide	identity_reduces = 0
	Number of runs using a mere Reduce sweep without any variables changed.
uintwide	shift_returns = 0
	Number of runs using 0 I/Os due to the variables are replaced according to a simple linear shift.
uintwide	monotonic_scans = 0
	Number of runs using a 2N/B linear copy-paste.
uintwide	monotonic_reduces = 0
	Number of runs where replacement has been incorporated into the Reduce sweep.
uintwide	nested_sweeps = 0
	Number of runs where replacement uses the Nested Sweeping framework to handle non-monotonic replacements.

Detailed Description

Variable replacement statistics.

See also

bdd_replace

---

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

• /home/runner/work/adiar/adiar/src/adiar/statistics.h