DSDManager Struct Reference

#include <DSD.h>

List of all members.

Public Attributes
DdManager *	Ddmanager_analogue
DSDNode *	one
int_32	num_outputs
int_32	decomposed_outputs
int_32	num_blocks
int_32	num_unique_blocks
int_32	num_unique_symbolic_blocks
int_32	theoretical_DSD_consumption
int_32	theoretical_Actual_consumption
int_32	theoretical_memory_consumption
int_32	garbage_cleans
DSDNode **	DSD_unique_table
int_32	DSD_unique_table_size
int_32	notdisjoint
int_32	num_DSD_nodes
int_32	max_DSD_nodes
int_32	support_size
int_32	max_support_size
double	max_average_actualsize
double	current_average_actualsize
int_32	max_actualsize
int_32	total_actualsize
int_32	max_memory_used
int_32	current_memory_used
int_32	dead_nodes_threshold
int_32	dead_nodes_current
int_32	num_disjoint
int_32	num_commons
int_32	num_entered
int_32	num_primes
int_32	num_newdecomp
int_32	num_snodes
int_32	num_onodes
DdNode **	snodes_array
DdNode **	onodes_array
int_32	snode_size
int_32	onode_size
int_32	snode_counter
int_32	onode_counter
int_32	num_nodes
DdNode **	nodes_array
int_32	node_size
int_32	node_counter

---

Detailed Description

This structure is an analogue to the DdManager. It contains the location of the corresponding DdManager along with cache and initialization information.

---

Member Data Documentation

double DSDManager::current_average_actualsize

int_32 DSDManager::current_memory_used

DdManager* DSDManager::Ddmanager_analogue

Pointer to the corresponding DdManager

int_32 DSDManager::dead_nodes_current

The current number of unreferenced DSDNodes.

int_32 DSDManager::dead_nodes_threshold

The number of dereferenced DSDNodes required to trigger garbage collection. This number increase with every garbage collection.

int_32 DSDManager::decomposed_outputs

Number of DSD produced by DSD_Create that have some decomposability

DSDNode** DSDManager::DSD_unique_table

Unique table for DSDs

int_32 DSDManager::DSD_unique_table_size

Current size of the DSD unique table

int_32 DSDManager::garbage_cleans

int_32 DSDManager::max_actualsize

double DSDManager::max_average_actualsize

int_32 DSDManager::max_DSD_nodes

int_32 DSDManager::max_memory_used

int_32 DSDManager::max_support_size

int_32 DSDManager::node_counter

int_32 DSDManager::node_size

DdNode** DSDManager::nodes_array

int_32 DSDManager::notdisjoint

int_32 DSDManager::num_blocks

Number of blocks across all the DSDs currently referenced in the DSDManager after calling the function update_blocks.

int_32 DSDManager::num_commons

int_32 DSDManager::num_disjoint

int_32 DSDManager::num_DSD_nodes

int_32 DSDManager::num_entered

int_32 DSDManager::num_newdecomp

int_32 DSDManager::num_nodes

int_32 DSDManager::num_onodes

int_32 DSDManager::num_outputs

Number of times DSD_Create is called

int_32 DSDManager::num_primes

int_32 DSDManager::num_snodes

int_32 DSDManager::num_unique_blocks

int_32 DSDManager::num_unique_symbolic_blocks

DSDNode* DSDManager::one

Represents the constant 1 node

int_32 DSDManager::onode_counter

int_32 DSDManager::onode_size

DdNode** DSDManager::onodes_array

int_32 DSDManager::snode_counter

int_32 DSDManager::snode_size

DdNode** DSDManager::snodes_array

int_32 DSDManager::support_size

int_32 DSDManager::theoretical_Actual_consumption

int_32 DSDManager::theoretical_DSD_consumption

int_32 DSDManager::theoretical_memory_consumption

int_32 DSDManager::total_actualsize

---

The documentation for this struct was generated from the following file:

• DSD.h

---