- a -

• actual_list : DSDNode

- b -

• bdd_analogue : DSDNode

- c -

• current_average_actualsize : DSDManager
• current_memory_used : DSDManager

- d -

• Ddmanager_analogue : DSDManager
• dead_nodes_current : DSDManager
• dead_nodes_threshold : DSDManager
• decomposed_outputs : DSDManager
• decomposition : ActualNode
• DSD_unique_table : DSDManager
• DSD_unique_table_size : DSDManager

- g -

• garbage_cleans : DSDManager

- m -

• max_actualsize : DSDManager
• max_average_actualsize : DSDManager
• max_DSD_nodes : DSDManager
• max_memory_used : DSDManager
• max_support_size : DSDManager

- n -

• name : _FixHeap
• next : DSDNode, SupportList, ActualNode
• node_counter : DSDManager
• node_size : DSDManager
• nodes_array : DSDManager
• nodeSize : _FixHeap
• notdisjoint : DSDManager
• num_blocks : DSDManager
• num_commons : DSDManager
• num_disjoint : DSDManager
• num_DSD_nodes : DSDManager
• num_entered : DSDManager
• num_newdecomp : DSDManager
• num_nodes : DSDManager
• num_onodes : DSDManager
• num_outputs : DSDManager
• num_primes : DSDManager
• num_snodes : DSDManager
• num_unique_blocks : DSDManager
• num_unique_symbolic_blocks : DSDManager

- o -

• one : DSDManager
• onode_counter : DSDManager
• onode_size : DSDManager
• onodes_array : DSDManager

- p -

• parent : DSDNode

- s -

• snode_counter : DSDManager
• snode_size : DSDManager
• snodes_array : DSDManager
• support : DSDNode
• support_size : DSDManager
• support_var : SupportList
• symbolic_kernel : DSDNode

- t -

• theoretical_Actual_consumption : DSDManager
• theoretical_DSD_consumption : DSDManager
• theoretical_memory_consumption : DSDManager
• topvar_refsize : DSDNode
• total_actualsize : DSDManager
• type_actualsize : DSDNode

- v -

• verbose : _FixHeap

---