Here is a list of all functions, variables, defines, enums, and typedefs with links to the files they belong to:

- s -

• sbrk() : memint.h
• SBRK : calMem.c , memint.h
• scan : getopt.c
• searchSCC() : graph_dfs.c
• Segment : calMem.c
• segment : memint.h
• Segment_t : calMem.c
• SegmentToPageList() : calMemoryManagement.c
• selectMintermsFromUniverse() : cuddSplit.c
• sentinelp() : cuddEssent.c
• separateCube() : cuddPriority.c
• SET_TAG : bddint.h
• shift_block() : bdd.c
• shuffleSelect : cuddUtil.c , random.c , calUtil.c
• shuffleTable : calUtil.c , cuddUtil.c , random.c
• sift_up() : cuddGenetic.c
• siftBackwardProb() : cuddAnneal.c
• single_var_block_build() : mdd_mod.c
• size : cuddSign.c
• size_array : var_set.c
• SIZE_T : memuser.h
• SIZEOF_INT : cudd.h
• SIZEOF_LONG : cudd.h
• SIZEOF_VOID_P : cudd.h
• sm_alloc : sparse.h
• sm_alloc_size() : matrix.c
• sm_allocate() : matrix.c
• sm_cleanup() : matrix.c
• sm_col : sparse.h
• sm_col_alloc() : cols.c
• sm_col_and() : cols.c
• sm_col_compare() : cols.c
• sm_col_contains() : cols.c
• sm_col_dup() : cols.c
• sm_col_find() : cols.c
• sm_col_free() : cols.c
• sm_col_hash() : cols.c
• sm_col_insert() : cols.c
• sm_col_intersects() : cols.c
• sm_col_print() : cols.c
• sm_col_remove() : cols.c
• sm_col_remove_element() : cols.c , sparse_int.h
• sm_copy_col() : matrix.c
• sm_copy_row() : matrix.c
• sm_delcol() : matrix.c
• sm_delrow() : matrix.c
• sm_dump() : matrix.c
• sm_dup() : matrix.c
• sm_element : sparse.h
• sm_element_alloc : sparse_int.h
• sm_element_free : sparse_int.h
• sm_find() : matrix.c
• sm_foreach_col : sparse.h
• sm_foreach_col_element : sparse.h
• sm_foreach_row : sparse.h
• sm_foreach_row_element : sparse.h
• sm_free : sparse.h
• sm_free_space() : matrix.c
• sm_get : sparse.h
• sm_get_col : sparse.h
• sm_get_row : sparse.h
• sm_insert() : matrix.c
• sm_longest_col() : matrix.c
• sm_longest_row() : matrix.c
• sm_matrix : sparse.h
• sm_num_elements() : matrix.c
• sm_print() : matrix.c
• sm_put : sparse.h
• sm_read() : matrix.c
• sm_read_compressed() : matrix.c
• sm_remove() : matrix.c
• sm_remove_element() : matrix.c
• sm_resize() : matrix.c
• sm_row : sparse.h
• sm_row_alloc() : rows.c
• sm_row_and() : rows.c
• sm_row_compare() : rows.c
• sm_row_contains() : rows.c
• sm_row_dup() : rows.c
• sm_row_find() : rows.c
• sm_row_free() : rows.c
• sm_row_hash() : rows.c
• sm_row_insert() : rows.c
• sm_row_intersects() : rows.c
• sm_row_print() : rows.c
• sm_row_remove() : rows.c
• sm_row_remove_element() : rows.c , sparse_int.h
• sm_write() : matrix.c
• SOLUTION : mdd.h
• SORT : list.c , lsort.h
• sorted_insert : sparse_int.h
• srandom() : testbdd.c
• st_add_direct() : st.c , st.h
• ST_CONTINUE : st.h
• st_copy() : st.c , st.h
• st_count : st.h
• ST_DEFAULT_GROW_FACTOR : st.h
• ST_DEFAULT_INIT_TABLE_SIZE : st.h
• ST_DEFAULT_MAX_DENSITY : st.h
• ST_DEFAULT_REORDER_FLAG : st.h
• st_delete() : st.c , st.h
• ST_DELETE : st.h
• st_delete_int() : st.c , st.h
• st_find() : st.c , st.h
• st_find_or_add() : st.h , st.c
• st_foreach() : st.c , st.h
• st_foreach_item : st.h
• st_foreach_item_int : st.h
• st_free_gen() : st.c , st.h
• st_free_table() : st.h , st.c
• st_gen() : st.c , st.h
• st_gen_int() : st.c , st.h
• st_generator : st.h
• st_init_gen() : st.c , st.h
• st_init_table() : st.h , st.c
• st_init_table_with_params() : st.h , st.c
• st_insert() : st.c , st.h
• st_is_member : st.h
• st_lookup() : st.c , st.h
• st_lookup_int() : st.c , st.h
• st_numcmp() : st.h , st.c
• ST_NUMCMP : st.c
• ST_NUMHASH : st.c
• st_numhash() : st.c , st.h
• ST_OUT_OF_MEM : st.h
• ST_PFICPCP : st.h
• ST_PFICPI : st.h
• ST_PFSR : st.h
• st_ptrcmp() : st.c , st.h
• ST_PTRHASH : st.c
• st_ptrhash() : st.c , st.h
• st_retval : st.h
• st_shift : st.c
• ST_STOP : st.h
• st_strhash() : st.h , st.c
• st_table : st.h
• st_table_entry : st.h
• st_zdd_count_dbl_free() : cuddZddCount.c
• st_zdd_countfree() : cuddZddCount.c
• STAB_DIV : cuddUtil.c , random.c
• STAB_SIZE : cuddUtil.c , random.c
• STACK_SIZE : avl.c
• statLine : cuddInt.h
• STOP_TEMP : cuddAnneal.c
• stopping_criterion() : cuddAnneal.c
• STOREDD : cuddGenetic.c
• storedd : cuddGenetic.c
• StoreNodes() : cuddSubsetHB.c
• stPathTableDdFree() : cuddSubsetSP.c
• str_len : mdd.h
• strchr() : strsav.c , util.h
• strfree() : com_graph.c
• strstr() : strsav.c
• SubsetCountMinterm() : cuddSubsetHB.c
• SubsetCountMintermAux() : cuddSubsetHB.c
• SubsetCountNodes() : cuddSubsetHB.c
• SubsetCountNodesAux() : cuddSubsetHB.c
• sweep_var_table() : bddreorder.c
• SweepVarTable() : calReorderDF.c