- _ -

• __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

- 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 -

• 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
• 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_Create() : DSDInterface.h, DSDInterface.c
• DSD_Deref() : DSDInterface.h, DSDInterface.c
• DSD_Init() : DSDInterface.h, DSDInterface.c
• DSD_Quit() : DSDInterface.h, DSDInterface.c
• DSD_RecursiveDeref() : DSDInterface.h, DSDInterface.c
• DSD_Ref() : DSDInterface.h, DSDInterface.c

- e -

• ExpandHeap() : fixheap.c

- f -

• find_DSD_node() : DSDManager.h, DSDManager.c
• FixHeapCreate() : fixheap.h, fixheap.c
• FixHeapFree() : fixheap.h, fixheap.c
• FixHeapMalloc() : fixheap.h, fixheap.c
• FixHeapRelease() : fixheap.h, fixheap.c

- g -

• get_bdd() : DSDInterface.h, DSDInterface.c
• get_num_actuals() : DSDInterface.h, DSDInterface.c
• get_symbolic_kernel() : DSDInterface.h, DSDInterface.c
• Get_Type() : DSDInterface.h, DSDInterface.c
• Get_X_Input() : DSDInterface.h, DSDInterface.c

- i -

• insert_listE() : DSDNewDecompose.h, DSDNewDecompose.c
• insert_listT() : DSDNewDecompose.h, DSDNewDecompose.c
• 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
• mark_decomposition() : DSDInterface.h, DSDInterface.c
• mark_recursive() : DSDNewDecompose.h, DSDNewDecompose.c

- n -

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

- o -

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

- p -

• 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 -

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

- s -

• set_canonical_var() : DSDUtilities.h, DSDUtilities.c
• sort_list() : DSDNewDecompose.h, DSDNewDecompose.c
• support_compare() : DSDUtilities.h, DSDUtilities.c
• support_create() : DSDUtilities.h, DSDUtilities.c
• 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

- u -

• 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

- x -

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

---