Namespace List

Here is a list of all documented namespaces with brief descriptions:

[detail level 12345]

▼Nadiar	Core types
C__bdd	A (possibly) unreduced Binary Decision Diagram
C__zdd	A (possibly unreduced) Zero-suppressed Decision Diagram
Cbdd	A reduced Binary Decision Diagram
Cbuilder	A builder for decision diagrams
Cbuilder_ptr	The pointer type that builders use to identify the nodes they have constructed in a decision diagram
▼Cexec_policy	Settings to dictate the execution of Adiar's algorithms
▼Cquantify	Strategies and settings for Adiar to use in quantify/project algorithms
Ctransposition_growth	Multiplicative value for the maximal growth of a BDD may during repeated transpostion before switching to Nested Sweeping
Ctransposition_max	Maximum number of repeated transpositions before switching to nested sweeping
▼Cstatistics	Available statistics from algorithm's and data structures
▼C__alg_base	Common statistics for all algorithms
C__lpq_t	Type and usage of this algorithm's levelized priority queue
C__pq2_base	Common statistics for algorithms using a second priority queue
C__raccess_base	Common statistics for algorithms using random access
Carc_file_t	Arc Files statistics
Ccount_t	Counting algorithm statistics
▼Cequality_t	Equality Checking algorithm statistics
Cfast_t	Statistics from O(N) linear-scan equality checking algorithm
Cslow_t	Statistics from O(N log N) time-forward processing equality checking algorithm
Cintercut_t	Intercut algorithm statistics
Clevelized_priority_queue_t	Levelized Priority Queue statistics
▼Cnested_sweeping_t	Nested Sweeping statistics
▼Cinner_down_t	Root Requests generated for Inner Down Sweep
Cinputs_t
Crequests_t
Cinner_up_t	Inner Up Sweep(s)
Couter_up_t	Outer Reduce Sweep
Cnode_file_t	Node Files statistics
Coptmin_t	Boolean Optimization algorithm statistics
Cprod2_t	2-ary Product Construction algorithm statistics
Cprod3_t	3-ary Product Construction algorithm statistics
▼Cquantify_t	Quantification algorithm statistics
Cnested_policy_t	Nested multi-variable sweeping
Cnested_transposition_t	Transposition algorithms prior to nested multi-variable sweeping
Creduce_t	Reduce algorithm statistics
Creplace_t	Variable replacement statistics
Cselect_t	Select algorithm statistics
Czdd	Reduced Ordered Zero-suppressed Decision Diagram