- s -

• sbrk() : memint.h
• searchSCC() : graph_dfs.c
• SegmentToPageList() : calMemoryManagement.c
• selectMintermsFromUniverse() : cuddSplit.c
• sentinelp() : cuddEssent.c
• separateCube() : cuddPriority.c
• shift_block() : bdd.c
• sift_up() : cuddGenetic.c
• siftBackwardProb() : cuddAnneal.c
• single_var_block_build() : mdd_mod.c
• sm_alloc_size() : matrix.c
• sm_allocate() : matrix.c
• sm_cleanup() : matrix.c
• 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_find() : matrix.c
• sm_free_space() : matrix.c
• sm_insert() : matrix.c
• sm_longest_col() : matrix.c
• sm_longest_row() : matrix.c
• sm_num_elements() : matrix.c
• sm_print() : matrix.c
• sm_read() : matrix.c
• sm_read_compressed() : matrix.c
• sm_remove() : matrix.c
• sm_remove_element() : matrix.c
• sm_resize() : matrix.c
• 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
• SORT() : lsort.h
• srandom() : testbdd.c
• st_add_direct() : st.h , st.c
• st_copy() : st.c , st.h
• st_delete() : st.c , st.h
• st_delete_int() : st.c , st.h
• st_find() : st.h , st.c
• st_find_or_add() : st.c , st.h
• st_foreach() : st.c , 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_init_gen() : st.c , st.h
• st_init_table() : st.c , st.h
• st_init_table_with_params() : st.c , st.h
• st_insert() : st.h , st.c
• st_lookup() : st.c , st.h
• st_lookup_int() : st.h , st.c
• st_numcmp() : st.h , st.c
• st_numhash() : st.h , st.c
• st_ptrcmp() : st.c , st.h
• st_ptrhash() : st.c , st.h
• st_strhash() : st.c , st.h
• st_zdd_count_dbl_free() : cuddZddCount.c
• st_zdd_countfree() : cuddZddCount.c
• stopping_criterion() : cuddAnneal.c
• StoreNodes() : cuddSubsetHB.c
• stPathTableDdFree() : cuddSubsetSP.c
• strchr() : strsav.c
• 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