Here is a list of all file members with links to the files they belong to:

- _ -

• __Decomposition_Print() : DSDManipulations.h, DSDManipulations.c
• __DSD_Create() : DSDDecompose.h, DSDDecompose.c
• __DSD_Deref() : DSDManager.h
• __DSD_Init() : DSDManager.h, DSDManager.c
• __DSD_Quit() : DSDManager.h, DSDManager.c
• __DSD_RecursiveDeref() : DSDManager.h, DSDManager.c
• __DSD_Ref() : DSDManager.h, DSDManager.c
• __Get_BDD() : DSDManipulations.h, DSDManipulations.c
• __Get_First_Input() : DSDUtilities.h, DSDUtilities.c
• __Get_Input_Count() : DSDUtilities.h, DSDUtilities.c
• __Get_Symbolic_Decomposition() : DSDManipulations.h, DSDManipulations.c
• __Recursive_Decomposition_Print() : DSDManipulations.h, DSDManipulations.c

- a -

• actual_malloc_ptr : DSDManager.c, DSD.h
• ActualNode : DSD.h

- b -

• BDN_BDD_MUX_VAR_DEC_DEC() : DSDPrimeDecompose.h, DSDPrimeDecompose.c
• BDN_BDD_NOR_RESIDUE() : DSDOrDecompose.h, DSDOrDecompose.c
• BDN_BDD_NOR_VAR_ACTUALS() : DSDOrDecompose.h, DSDOrDecompose.c
• BDN_BDD_NOR_VAR_DEC() : DSDOrDecompose.h, DSDOrDecompose.c
• BDN_BDD_NXOR_RESIDUE() : DSDXorDecompose.h, DSDXorDecompose.c
• BDN_BDD_OR_RESIDUE() : DSDOrDecompose.h, DSDOrDecompose.c
• BDN_BDD_PRIME_MUX_SUB() : DSDPrimeDecompose.h, DSDPrimeDecompose.c
• BDN_BDD_PRIME_SUB() : DSDPrimeDecompose.h, DSDPrimeDecompose.c
• BDN_BDD_PRIME_XOR_SUB() : DSDPrimeDecompose.h, DSDPrimeDecompose.c
• BDN_BDD_XOR_RESIDUE() : DSDXorDecompose.h, DSDXorDecompose.c
• BDN_MUX_VAR_DEC_DEC() : DSDPrimeDecompose.h, DSDPrimeDecompose.c
• BDN_NOR_ACTUALS() : DSDOrDecompose.h, DSDOrDecompose.c
• BDN_NOR_DEC_ACTUALS() : DSDOrDecompose.h, DSDOrDecompose.c
• BDN_NOR_DEC_DEC() : DSDOrDecompose.h, DSDOrDecompose.c
• BDN_NOR_VAR_DEC() : DSDOrDecompose.h, DSDOrDecompose.c
• BDN_NOR_VAR_EXP() : DSDOrDecompose.h, DSDOrDecompose.c
• BDN_NXOR_ACTUALS() : DSDXorDecompose.h, DSDXorDecompose.c
• BDN_NXOR_DEC_ACTUALS() : DSDXorDecompose.h, DSDXorDecompose.c
• BDN_NXOR_DEC_DEC() : DSDXorDecompose.h, DSDXorDecompose.c
• BDN_NXOR_VAR_DEC() : DSDXorDecompose.h, DSDXorDecompose.c
• BDN_NXOR_VAR_EXP() : DSDXorDecompose.h, DSDXorDecompose.c
• BDN_OR_ACTUALS() : DSDOrDecompose.h, DSDOrDecompose.c
• BDN_OR_DEC_ACTUALS() : DSDOrDecompose.h, DSDOrDecompose.c
• BDN_OR_DEC_DEC() : DSDOrDecompose.h, DSDOrDecompose.c
• BDN_OR_VAR_DEC() : DSDOrDecompose.h, DSDOrDecompose.c
• BDN_OR_VAR_EXP() : DSDOrDecompose.h, DSDOrDecompose.c
• BDN_XOR_ACTUALS() : DSDXorDecompose.h, DSDXorDecompose.c
• BDN_XOR_DEC_ACTUALS() : DSDXorDecompose.h, DSDXorDecompose.c
• BDN_XOR_DEC_DEC() : DSDXorDecompose.h, DSDXorDecompose.c
• BDN_XOR_VAR_DEC() : DSDXorDecompose.h, DSDXorDecompose.c
• BDN_XOR_VAR_EXP() : DSDXorDecompose.h, DSDXorDecompose.c

- c -

• CAN_MASK : DSD.h
• canonical_var() : DSDUtilities.h, DSDUtilities.c
• check_marks_recursive() : DSDNewDecompose.h, DSDNewDecompose.c
• check_one() : DSDInterface.h, DSDDecompose.c
• check_remaining_marks_recursive() : DSDNewDecompose.h, DSDNewDecompose.c
• check_symbolic() : DSDPrimeDecompose.c
• check_symbolic2() : DSDPrimeDecompose.c
• cofactor_cofactor_equivalence() : DSDPrimeDecompose.h, DSDPrimeDecompose.c
• cofactor_container_node_equivalence() : DSDPrimeDecompose.h, DSDPrimeDecompose.c
• cofactor_elem_BDN_BDD_PRIME_SUB_ELEM() : DSDPrimeDecompose.h, DSDPrimeDecompose.c
• cofactor_equivalence() : DSDPrimeDecompose.h, DSDPrimeDecompose.c
• Common_Formals_Decomp() : DSDNewDecompose.h, DSDNewDecompose.c
• COMPUTE_ALLOC_COUNT : fixheap.h
• copy_actual_list() : DSDUtilities.h, DSDUtilities.c
• count_unique() : DSDInterface.h, DSDInterface.c
• create_DSD_node() : DSDManager.h, DSDManager.c
• Create_DSD_Table() : DSDManager.h, DSDManager.c
• create_var() : DSDDecompose.h, DSDDecompose.c

- d -

• Decomposition() : DSDDecompose.h, DSDDecompose.c
• Decomposition_Print() : DSDInterface.h, DSDInterface.c
• delete_actual_list() : DSDManager.h, DSDManager.c
• delete_support() : DSDManager.h, DSDManager.c
• Destroy_DSD_Table() : DSDManager.h, DSDManager.c
• DSD_Complement : DSD.h
• DSD_Create() : DSDInterface.h, DSDInterface.c
• DSD_Deref() : DSDInterface.h, DSDInterface.c
• DSD_Init() : DSDInterface.h, DSDInterface.c
• DSD_IsComplement : DSD.h
• dsd_malloc_ptr : DSDManager.c, DSD.h
• DSD_Not : DSD.h
• DSD_Quit() : DSDInterface.h, DSDInterface.c
• DSD_RecursiveDeref() : DSDInterface.h, DSDInterface.c
• DSD_Ref() : DSDInterface.h, DSDInterface.c
• DSD_Regular : DSD.h
• DSDManager : DSD.h
• DSDNode : DSD.h

- e -

• ExpandHeap() : fixheap.c

- f -

• find_DSD_node() : DSDManager.h, DSDManager.c
• FIXED_SIZE_HEAP : fixheap.c
• FixHeap : fixheap.h
• FIXHEAP_OVERHEAD : fixheap.h
• FixHeapCreate() : fixheap.h, fixheap.c
• FixHeapFree() : fixheap.h, fixheap.c
• FixHeapMalloc() : fixheap.h, fixheap.c
• FixHeapPtr : fixheap.h
• FixHeapRelease() : fixheap.h, fixheap.c

- g -

• get_bdd() : DSDInterface.h, DSDInterface.c
• GET_CAN : DSD.h
• get_num_actuals() : DSDInterface.h, DSDInterface.c
• GET_REF : DSD.h
• get_symbolic_kernel() : DSDInterface.h, DSDInterface.c
• Get_Type() : DSDInterface.h, DSDInterface.c
• GET_TYPE : DSD.h
• Get_X_Input() : DSDInterface.h, DSDInterface.c

- i -

• INLINE : fixheap.c
• INPUT_SIZE : DSD.h
• insert_listE() : DSDNewDecompose.h, DSDNewDecompose.c
• insert_listT() : DSDNewDecompose.h, DSDNewDecompose.c
• int_16 : DSD.h
• int_32 : DSD.h
• is_marked() : DSDInterface.h, DSDInterface.c

- l -

• list_intersection() : DSDUtilities.h, DSDUtilities.c
• list_intersection_special() : DSDUtilities.h, DSDUtilities.c
• list_residue() : DSDUtilities.h, DSDUtilities.c
• load_arrays() : DSDInterface.h, DSDInterface.c

- m -

• main() : sample.c
• MALLOC_OVERHEAD : fixheap.h
• mark : DSD.h
• mark_decomposition() : DSDInterface.h, DSDInterface.c
• MARK_MASK : DSD.h
• mark_recursive() : DSDNewDecompose.h, DSDNewDecompose.c
• marked : DSD.h
• MAX_NOT_ALLOWED : DSD.h

- n -

• node_exists() : DSDUtilities.h, DSDUtilities.c
• node_exists_special() : DSDUtilities.c

- o -

• OR : DSD.h
• OR_Decomp() : DSDOrDecompose.h, DSDOrDecompose.c

- p -

• PRIME : DSD.h
• Prime_Decomp() : DSDPrimeDecompose.h, DSDPrimeDecompose.c
• print_stats() : DSDInterface.h, DSDInterface.c
• protect() : DSDUtilities.h, DSDUtilities.c
• Purge_Derefs() : DSDManager.h, DSDManager.c
• purge_triggered_stat_update() : DSDManager.h, DSDManager.c

- r -

• RECOMMENDATION_DEFAULT : DSDInterface.h
• Recursive_Decomposition_Print() : DSDInterface.h, DSDInterface.c
• recursive_deref() : DSDManager.h, DSDManager.c
• REG_ARRAY : fixheap.c

- s -

• SATURATION : DSD.h
• SET_CAN : DSD.h
• set_canonical_var() : DSDUtilities.h, DSDUtilities.c
• SET_SIZE : DSD.h
• SET_TYPE : DSD.h
• SIZE_MASK : DSD.h
• sort_list() : DSDNewDecompose.h, DSDNewDecompose.c
• support_compare() : DSDUtilities.h, DSDUtilities.c
• support_create() : DSDUtilities.h, DSDUtilities.c
• SupportList : DSD.h
• symbolic_finder_builder() : DSDPrimeDecompose.h, DSDPrimeDecompose.c
• symbolic_finder_builder_incomplete() : DSDPrimeDecompose.h, DSDPrimeDecompose.c
• symbolic_merger() : DSDUtilities.h, DSDUtilities.c
• symbolic_mux() : DSDUtilities.h, DSDUtilities.c
• symbolic_or() : DSDUtilities.h, DSDUtilities.c
• symbolic_xor() : DSDUtilities.h, DSDUtilities.c

- t -

• TYPE_MASK : DSD.h

- u -

• unmark : DSD.h
• unmark_decomposition() : DSDInterface.h, DSDInterface.c
• unmark_recursive() : DSDNewDecompose.h, DSDNewDecompose.c
• unprotect() : DSDUtilities.h, DSDUtilities.c
• update_blocks() : DSDInterface.h, DSDInterface.c

- v -

• validate_deref() : DSDInterface.h, DSDInterface.c
• VAR : DSD.h

- x -

• XOR : DSD.h
• XOR_Decomp() : DSDXorDecompose.h, DSDXorDecompose.c

---