Available statistics from algorithm's and data structures. More...

#include <adiar/statistics.h>

Collaboration diagram for adiar::statistics:

Classes
struct	__alg_base
	Common statistics for all algorithms. More...

struct	__pq2_base
	Common statistics for algorithms using a second priority queue. More...

struct	__random_access_base
	Common statistics for algorithms using random access. More...

struct	arc_file_t
	Arc Files statistics. More...

struct	count_t
	Counting algorithm statistics. More...

struct	equality_t
	Equality Checking algorithm statistics. More...

struct	intercut_t
	Intercut algorithm statistics. More...

struct	levelized_priority_queue_t
	Levelized Priority Queue statistics. More...

struct	nested_sweeping_t
	Nested Sweeping statistics. More...

struct	node_file_t
	Node Files statistics. More...

struct	optmin_t
	Boolean Optimization algorithm statistics. More...

struct	prod2_t
	2-ary Product Construction algorithm statistics. More...

struct	prod3_t
	3-ary Product Construction algorithm statistics. More...

struct	quantify_t
	Quantification algorithm statistics. More...

struct	reduce_t
	Reduce algorithm statistics. More...

struct	replace_t
	Variable replacement statistics. More...

struct	select_t
	Select algorithm statistics. More...

Public Attributes
struct adiar::statistics::arc_file_t	arc_file
	Arc Files statistics. More...

struct adiar::statistics::node_file_t	node_file
	Node Files statistics. More...

struct adiar::statistics::levelized_priority_queue_t	levelized_priority_queue
	Levelized Priority Queue statistics. More...

adiar::statistics::count_t	count
	Counting algorithm statistics. More...

adiar::statistics::equality_t	equality
	Equality Checking algorithm statistics. More...

adiar::statistics::intercut_t	intercut
	Intercut algorithm statistics. More...

adiar::statistics::optmin_t	optmin
	3-ary Product Construction algorithm statistics. More...

adiar::statistics::prod2_t	prod2
	2-ary Product Construction algorithm statistics. More...

adiar::statistics::prod3_t	prod3
	3-ary Product Construction algorithm statistics. More...

adiar::statistics::quantify_t	quantify
	Quantification algorithm statistics. More...

adiar::statistics::select_t	select
	Select algorithm statistics. More...

adiar::statistics::reduce_t	reduce
	Reduce algorithm statistics. More...

struct adiar::statistics::replace_t	replace
	Variable replacement statistics. More...

struct adiar::statistics::nested_sweeping_t	nested_sweeping
	Nested Sweeping statistics. More...

Detailed Description

Available statistics from algorithm's and data structures.

Precondition: These numbers are always available, but they are only populated with actual statistics if Adiar is compiled with the ADIAR_STATS CMake variable set to ON.

Member Data Documentation

◆ arc_file

struct adiar::statistics::arc_file_t adiar::statistics::arc_file

Arc Files statistics.

◆ count

adiar::statistics::count_t adiar::statistics::count

Counting algorithm statistics.

See also: bdd_satcount bdd_pathcount zdd_size

◆ equality

adiar::statistics::equality_t adiar::statistics::equality

Equality Checking algorithm statistics.

See also: bdd_equal zdd_equal

◆ intercut

adiar::statistics::intercut_t adiar::statistics::intercut

Intercut algorithm statistics.

See also: bdd_from zdd_change zdd_complement zdd_expand zdd_from

◆ levelized_priority_queue

struct adiar::statistics::levelized_priority_queue_t adiar::statistics::levelized_priority_queue

Levelized Priority Queue statistics.

◆ nested_sweeping

struct adiar::statistics::nested_sweeping_t adiar::statistics::nested_sweeping

Nested Sweeping statistics.

Statistics related to runs of nested_sweep; some of the statistics to each specific instantiation (e.g. bdd_exists) is found in the algorithm's respective statistics.