Class Hierarchy

Go to the graphical class hierarchy

This inheritance list is sorted roughly, but not completely, alphabetically:

[detail level 123]

▼Cadiar::statistics::__alg_base	Common statistics for all algorithms
Cadiar::statistics::count_t	Counting algorithm statistics
Cadiar::statistics::equality_t	Equality Checking algorithm statistics
Cadiar::statistics::intercut_t	Intercut algorithm statistics
Cadiar::statistics::optmin_t	Boolean Optimization algorithm statistics
Cadiar::statistics::prod2_t	2-ary Product Construction algorithm statistics
Cadiar::statistics::prod3_t	3-ary Product Construction algorithm statistics
Cadiar::statistics::quantify_t	Quantification algorithm statistics
▼Cadiar::statistics::reduce_t	Reduce algorithm statistics
Cadiar::statistics::nested_sweeping_t::inner_up_t	Inner Up Sweep(s)
Cadiar::statistics::nested_sweeping_t::outer_up_t	Outer Reduce Sweep
Cadiar::statistics::select_t	Select algorithm statistics
▼Cadiar::internal::__dd
Cadiar::__bdd	A (possibly) unreduced Binary Decision Diagram
Cadiar::__zdd	A (possibly unreduced) Zero-suppressed Decision Diagram
Cadiar::statistics::__pq2_base	Common statistics for algorithms using a second priority queue
Cadiar::statistics::__raccess_base	Common statistics for algorithms using random access
Cadiar::statistics::arc_file_t	Arc Files statistics
Cadiar::builder< Policy >	A builder for decision diagrams
Cadiar::builder_ptr< Policy >	The pointer type that builders use to identify the nodes they have constructed in a decision diagram
▼Cadiar::internal::dd	Container for the files that represent a Decision Diagram
Cadiar::bdd	A reduced Binary Decision Diagram
Cadiar::zdd	Reduced Ordered Zero-suppressed Decision Diagram
Cadiar::exec_policy	Settings to dictate the execution of Adiar's algorithms
Cadiar::statistics::equality_t::fast_t	Statistics from O(N) linear-scan equality checking algorithm
Cadiar::statistics::nested_sweeping_t::inner_down_t	Root Requests generated for Inner Down Sweep
Cadiar::statistics::nested_sweeping_t::inner_down_t::inputs_t
▼Cadiar::statistics::levelized_priority_queue_t	Levelized Priority Queue statistics
Cadiar::statistics::__alg_base::__lpq_t	Type and usage of this algorithm's levelized priority queue
Cadiar::statistics::quantify_t::nested_policy_t	Nested multi-variable sweeping
Cadiar::statistics::nested_sweeping_t	Nested Sweeping statistics
Cadiar::statistics::quantify_t::nested_transposition_t	Transposition algorithms prior to nested multi-variable sweeping
Cadiar::statistics::node_file_t	Node Files statistics
Cadiar::exec_policy::quantify	Strategies and settings for Adiar to use in quantify/project algorithms
Cadiar::statistics::replace_t	Variable replacement statistics
Cadiar::statistics::nested_sweeping_t::inner_down_t::requests_t
Cadiar::statistics::equality_t::slow_t	Statistics from O(N log N) time-forward processing equality checking algorithm
Cadiar::statistics	Available statistics from algorithm's and data structures
Cadiar::exec_policy::quantify::transposition_growth	Multiplicative value for the maximal growth of a BDD may during repeated transpostion before switching to Nested Sweeping
Cadiar::exec_policy::quantify::transposition_max	Maximum number of repeated transpositions before switching to nested sweeping