Adiar
2.1.0
An External Memory Decision Diagram Library
Loading...
Searching...
No Matches
Here is a list of all documented variables with links to the class documentation for each member:
- _ -
_file :
adiar::internal::dd
_negate :
adiar::internal::__dd
,
adiar::internal::dd
_policy :
adiar::internal::__dd
_shift :
adiar::internal::__dd
,
adiar::internal::dd
_union :
adiar::internal::__dd
- a -
acc_levels :
adiar::statistics::nested_sweeping_t::inner_down_t::inputs_t
acc_size :
adiar::statistics::nested_sweeping_t::inner_down_t::inputs_t
acc_width :
adiar::statistics::__raccess_base
,
adiar::statistics::nested_sweeping_t::inner_down_t::inputs_t
arc_file :
adiar::statistics
- c -
collapse_to_terminal :
adiar::statistics::nested_sweeping_t::outer_up_t
count :
adiar::statistics
- e -
equality :
adiar::statistics
exit_on_children :
adiar::statistics::equality_t::slow_t
exit_on_levels_mismatch :
adiar::statistics::equality_t
exit_on_mismatch :
adiar::statistics::equality_t::fast_t
exit_on_nodecount :
adiar::statistics::equality_t
exit_on_processed_on_level :
adiar::statistics::equality_t::slow_t
exit_on_root :
adiar::statistics::equality_t::slow_t
exit_on_same_file :
adiar::statistics::equality_t
exit_on_terminalcount :
adiar::statistics::equality_t
exit_on_varcount :
adiar::statistics::equality_t
exit_on_width :
adiar::statistics::equality_t
external :
adiar::statistics::__alg_base::__lpq_t
- f -
fast_check :
adiar::statistics::equality_t
- i -
identity_reduces :
adiar::statistics::replace_t
identity_returns :
adiar::statistics::replace_t
inner_arcs :
adiar::statistics::nested_sweeping_t::inner_up_t
inner_down :
adiar::statistics::nested_sweeping_t
inner_up :
adiar::statistics::nested_sweeping_t
intercut :
adiar::statistics
internal :
adiar::statistics::__alg_base::__lpq_t
- l -
levelized_priority_queue :
adiar::statistics
lpq :
adiar::statistics::__alg_base
- m -
max_id :
adiar::internal::dd
max_label :
adiar::internal::dd
max_levels :
adiar::statistics::nested_sweeping_t::inner_down_t::inputs_t
max_size :
adiar::statistics::nested_sweeping_t::inner_down_t::inputs_t
max_width :
adiar::statistics::__raccess_base
,
adiar::statistics::nested_sweeping_t::inner_down_t::inputs_t
min_width :
adiar::statistics::__raccess_base
modifying :
adiar::statistics::nested_sweeping_t::inner_down_t::requests_t
monotonic_reduces :
adiar::statistics::replace_t
monotonic_scans :
adiar::statistics::replace_t
- n -
nested_levels :
adiar::statistics::nested_sweeping_t::outer_up_t
nested_sweeping :
adiar::statistics
nested_sweeps :
adiar::statistics::quantify_t
,
adiar::statistics::replace_t
node_file :
adiar::statistics
none :
adiar::statistics::quantify_t::nested_transposition_t
- o -
optmin :
adiar::statistics
outer_arcs :
adiar::statistics::nested_sweeping_t::inner_up_t
outer_up :
adiar::statistics::nested_sweeping_t
- p -
partial :
adiar::statistics::quantify_t::nested_transposition_t
partial_repetitions :
adiar::statistics::quantify_t::nested_transposition_t
partial_terminations :
adiar::statistics::quantify_t::nested_transposition_t
pq :
adiar::statistics::prod2_t
,
adiar::statistics::quantify_t
pq_2_elems :
adiar::statistics::__pq2_base
pq_runs :
adiar::statistics::nested_sweeping_t::inner_down_t
preserving :
adiar::statistics::nested_sweeping_t::inner_down_t::requests_t
prod2 :
adiar::statistics
prod3 :
adiar::statistics
products :
adiar::statistics::quantify_t::nested_policy_t
pruning :
adiar::statistics::quantify_t::nested_transposition_t
push_bucket :
adiar::statistics::levelized_priority_queue_t
push_in_order :
adiar::statistics::arc_file_t
push_internal :
adiar::statistics::arc_file_t
push_level :
adiar::statistics::arc_file_t
,
adiar::statistics::node_file_t
push_node :
adiar::statistics::node_file_t
push_out_of_order :
adiar::statistics::arc_file_t
push_overflow :
adiar::statistics::levelized_priority_queue_t
- q -
quantify :
adiar::statistics
- r -
ra :
adiar::statistics::prod2_t
,
adiar::statistics::quantify_t
ra_runs :
adiar::statistics::nested_sweeping_t::inner_down_t
reduce :
adiar::statistics
reduced_levels :
adiar::statistics::nested_sweeping_t::inner_up_t
,
adiar::statistics::nested_sweeping_t::outer_up_t
reduced_levels__fast :
adiar::statistics::nested_sweeping_t::inner_up_t
,
adiar::statistics::nested_sweeping_t::outer_up_t
removed_by_rule_1 :
adiar::statistics::nested_sweeping_t::inner_down_t
,
adiar::statistics::reduce_t
removed_by_rule_2 :
adiar::statistics::reduce_t
replace :
adiar::statistics
requests :
adiar::statistics::quantify_t
requests_unique :
adiar::statistics::quantify_t
runs :
adiar::statistics::__pq2_base
,
adiar::statistics::__raccess_base
,
adiar::statistics::equality_t::fast_t
,
adiar::statistics::equality_t::slow_t
,
adiar::statistics::nested_sweeping_t
,
adiar::statistics::quantify_t
- s -
select :
adiar::statistics
shift_returns :
adiar::statistics::replace_t
shortcut_node :
adiar::statistics::quantify_t::nested_policy_t
shortcut_terminal :
adiar::statistics::quantify_t::nested_policy_t
simple :
adiar::statistics::quantify_t::nested_transposition_t
singleton :
adiar::statistics::quantify_t::nested_transposition_t
singleton_sweeps :
adiar::statistics::quantify_t
skipped :
adiar::statistics::quantify_t
skipped_nested_levels :
adiar::statistics::nested_sweeping_t::outer_up_t
skipped_nested_levels__prune :
adiar::statistics::nested_sweeping_t::outer_up_t
skips :
adiar::statistics::nested_sweeping_t
slow_check :
adiar::statistics::equality_t
sort_out_of_order :
adiar::statistics::arc_file_t
sum_actual_max_size :
adiar::statistics::levelized_priority_queue_t
sum_destructors :
adiar::statistics::levelized_priority_queue_t
sum_max_size_ratio :
adiar::statistics::levelized_priority_queue_t
sum_node_arcs :
adiar::statistics::reduce_t
sum_predicted_max_size :
adiar::statistics::levelized_priority_queue_t
sum_terminal_arcs :
adiar::statistics::reduce_t
- t -
terminal_returns :
adiar::statistics::replace_t
terminals :
adiar::statistics::nested_sweeping_t::inner_down_t::requests_t
trivial_file :
adiar::statistics::prod2_t
trivial_terminal :
adiar::statistics::prod2_t
- u -
unbucketed :
adiar::statistics::__alg_base::__lpq_t
used_narrowest :
adiar::statistics::__raccess_base
Generated by
1.9.8