- s -

• Sat_MmFixedEntryFetch() : satMem.c , satMem.h
• Sat_MmFixedEntryRecycle() : satMem.h , satMem.c
• Sat_MmFixedReadMemUsage() : satMem.c , satMem.h
• Sat_MmFixedRestart() : satMem.h , satMem.c
• Sat_MmFixedStart() : satMem.c , satMem.h
• Sat_MmFixedStop() : satMem.c , satMem.h
• Sat_MmFlexEntryFetch() : satMem.c , satMem.h
• Sat_MmFlexReadMemUsage() : satMem.h , satMem.c
• Sat_MmFlexStart() : satMem.c , satMem.h
• Sat_MmFlexStop() : satMem.c , satMem.h
• Sat_MmStepEntryFetch() : satMem.c , satMem.h
• Sat_MmStepEntryRecycle() : satMem.c , satMem.h
• Sat_MmStepReadMemUsage() : satMem.c , satMem.h
• Sat_MmStepStart() : satMem.c , satMem.h
• Sat_MmStepStop() : satMem.c , satMem.h
• sat_solver_addclause() : satSolver.h , satSolver.c
• sat_solver_analyze() : satSolver.c
• sat_solver_canceluntil() : satSolver.c
• sat_solver_delete() : satSolver.c , satSolver.h
• sat_solver_dlevel() : satSolver.c
• sat_solver_lit_removable() : satSolver.c
• sat_solver_nclauses() : satSolver.c , satSolver.h
• sat_solver_nconflicts() : satSolver.c , satSolver.h
• sat_solver_new() : satSolver.c , satSolver.h
• sat_solver_nvars() : satSolver.c , satSolver.h
• sat_solver_progress() : satSolver.c
• sat_solver_propagate() : satSolver.c
• sat_solver_read_wlist() : satSolver.c
• sat_solver_record() : satSolver.c
• sat_solver_reducedb() : satSolver.c
• sat_solver_search() : satSolver.c
• sat_solver_setnvars() : satSolver.c , satSolver.h
• sat_solver_simplify() : satSolver.c , satSolver.h
• sat_solver_solve() : satSolver.c , satSolver.h
• sat_solver_sort() : satSolver.c
• sat_solver_store_alloc() : satSolver.c , satSolver.h
• sat_solver_store_free() : satSolver.c , satSolver.h
• sat_solver_store_mark_clauses_a() : satSolver.c , satSolver.h
• sat_solver_store_mark_roots() : satSolver.c , satSolver.h
• sat_solver_store_release() : satSolver.c , satSolver.h
• sat_solver_store_write() : satSolver.c , satSolver.h
• Sat_SolverClauseWriteDimacs() : satUtil.c
• Sat_SolverDoubleClauses() : satSolver.h , satUtil.c
• Sat_SolverGetModel() : satSolver.h , satUtil.c
• Sat_SolverPrintStats() : satSolver.h , satUtil.c
• Sat_SolverTraceStart() : satSolver.h , satTrace.c
• Sat_SolverTraceStop() : satSolver.h , satTrace.c
• Sat_SolverTraceWrite() : satSolver.h , satTrace.c
• Sat_SolverWriteDimacs() : satSolver.h , satUtil.c
• save_cube_struct() : cubestr.c , espresso.h
• sccc() : espresso.h , reduce.c
• sccc_cube() : espresso.h , reduce.c
• sccc_merge() : espresso.h , reduce.c
• sccc_special_cases() : espresso.h , reduce.c
• scofactor() : cofactor.c , espresso.h
• select_column() : mincov.c
• select_essential() : mincov.c
• select_feasible() : espresso.h , expand.c
• selectionsort() : satSolver.c
• selectMintermsFromUniverse() : cuddSplit.c
• separateCube() : cuddPriority.c
• set_adjcnt() : espresso.h , set.c
• set_and() : espresso.h , set.c
• set_andp() : espresso.h , set.c
• set_clear() : espresso.h , set.c
• set_copy() : espresso.h , set.c
• set_diff() : espresso.h , set.c
• set_dist() : espresso.h , set.c
• set_espresso_flags() : cubehack.c
• set_fill() : espresso.h , set.c
• set_merge() : espresso.h , set.c
• set_or() : set.c , espresso.h
• set_ord() : espresso.h , set.c
• set_orp() : espresso.h , set.c
• set_pair() : espresso.h , pair.c
• set_pair1() : espresso.h , pair.c
• set_phase() : espresso.h , opo.c
• set_write() : espresso.h , set.c
• set_xor() : espresso.h , set.c
• setdown_cube() : cubestr.c , espresso.h
• setp_disjoint() : espresso.h , set.c
• setp_empty() : espresso.h , set.c
• setp_equal() : espresso.h , set.c
• setp_full() : espresso.h , set.c
• setp_implies() : espresso.h , set.c
• setup_BB_CC() : espresso.h , expand.c
• sf_active() : espresso.h , set.c
• sf_addcol() : espresso.h , set.c
• sf_addset() : espresso.h , set.c
• sf_and() : espresso.h , set.c
• sf_append() : espresso.h , set.c
• sf_bm_print() : espresso.h , set.c
• sf_bm_read() : espresso.h , set.c
• sf_cleanup() : espresso.h , set.c
• sf_compress() : espresso.h , set.c
• sf_contain() : contain.c , espresso.h
• sf_copy() : espresso.h , set.c
• sf_copy_col() : espresso.h , set.c
• sf_count() : espresso.h , set.c
• sf_count_restricted() : espresso.h , set.c
• sf_debug_print() : espresso.h
• sf_delc() : espresso.h , set.c
• sf_delcol() : espresso.h , set.c
• sf_delset() : espresso.h , set.c
• sf_dupl() : contain.c , espresso.h
• sf_free() : espresso.h , set.c
• sf_inactive() : espresso.h , set.c
• sf_ind_contain() : contain.c , espresso.h
• sf_ind_unlist() : contain.c , espresso.h
• sf_join() : espresso.h , set.c
• sf_list() : contain.c , espresso.h
• sf_merge() : contain.c , espresso.h
• sf_new() : espresso.h , set.c
• sf_or() : espresso.h , set.c
• sf_permute() : espresso.h , set.c
• sf_print() : espresso.h , set.c
• sf_read() : espresso.h , set.c
• sf_rev_contain() : contain.c , espresso.h
• sf_save() : espresso.h , set.c
• sf_sort() : contain.c , espresso.h
• sf_transpose() : espresso.h , set.c
• sf_union() : contain.c , espresso.h
• sf_unlist() : contain.c , espresso.h
• sf_write() : espresso.h , set.c
• sharp() : espresso.h , sharp.c
• sift_up() : cuddGenetic.c
• siftBackwardProb() : cuddAnneal.c
• Sim_CollectNodes_rec() : abcRr.c
• Sim_ComputeFunSupp() : sim.h , simSupp.c
• Sim_ComputeStrSupp() : sim.h , simSupp.c
• Sim_ComputeSuppRound() : simSupp.c
• Sim_ComputeSuppRoundNode() : simSupp.c
• Sim_ComputeSuppSetTargets() : simSupp.c
• Sim_ComputeSwitching() : simSwitch.c
• Sim_ComputeTwoVarSymms() : sim.h , simSym.c
• Sim_ManPatAlloc() : sim.h , simMan.c
• Sim_ManPatFree() : sim.h , simMan.c
• Sim_ManPrintStats() : sim.h , simMan.c
• Sim_ManStart() : sim.h , simMan.c
• Sim_ManStop() : simMan.c , sim.h
• Sim_NodeSimulate() : simSwitch.c
• Sim_NtkComputeSwitching() : simSwitch.c
• Sim_NtkSimTwoPats_rec() : simSupp.c
• Sim_SimulateCollected() : abcRr.c
• Sim_SimulateSeqFrame() : simSeq.c
• Sim_SimulateSeqModel() : sim.h , simSeq.c
• Sim_SimulateSeqRandom() : sim.h , simSeq.c
• Sim_SolveSuppModelVerify() : simSupp.c
• Sim_SolveTargetsUsingSat() : simSupp.c
• Sim_SymmsAppendFromGroup() : simSymStr.c
• Sim_SymmsAppendFromNode() : simSymStr.c
• Sim_SymmsBalanceCollect_rec() : simSymStr.c
• Sim_SymmsCreateMap() : simSymStr.c
• Sim_SymmsCreateSquare() : simSymSim.c
• Sim_SymmsDeriveInfo() : simSymSim.c
• Sim_SymmsGetPatternUsingSat() : sim.h , simSymSat.c
• Sim_SymmsIsCompatibleWithGroup() : simSymStr.c
• Sim_SymmsIsCompatibleWithNodes() : simSymStr.c
• Sim_SymmsPartitionNodes() : simSymStr.c
• Sim_SymmsPrint() : simSymStr.c
• Sim_SymmsSatProveOne() : simSymSat.c
• Sim_SymmsSimulate() : sim.h , simSymSim.c
• Sim_SymmsStructCompute() : sim.h , simSymStr.c
• Sim_SymmsStructComputeOne() : simSymStr.c
• Sim_SymmsTrans() : simSymStr.c
• Sim_SymmsTransferToMatrix() : simSymStr.c
• Sim_TraverseNodes_rec() : abcRr.c
• Sim_UtilAssignFromFifo() : simSupp.c
• Sim_UtilAssignRandom() : simSupp.c
• Sim_UtilCountAllPairs() : sim.h , simUtils.c
• Sim_UtilCountOnes() : sim.h , simUtils.c
• Sim_UtilCountOnesArray() : sim.h , simUtils.c
• Sim_UtilCountPairsAll() : sim.h , simUtils.c
• Sim_UtilCountPairsAllPrint() : simUtils.c
• Sim_UtilCountPairsOne() : simUtils.c
• Sim_UtilCountPairsOnePrint() : simUtils.c
• Sim_UtilCountSuppSizes() : sim.h , simUtils.c
• Sim_UtilInfoAdd() : sim.h , simUtils.c
• Sim_UtilInfoAlloc() : sim.h , simUtils.c
• Sim_UtilInfoCompare() : sim.h , simUtils.c
• Sim_UtilInfoDetectDiffs() : sim.h , simUtils.c
• Sim_UtilInfoDetectNews() : sim.h , simUtils.c
• Sim_UtilInfoFlip() : sim.h , simUtils.c
• Sim_UtilInfoFree() : sim.h , simUtils.c
• Sim_UtilInfoIsClause() : sim.h , simUtils.c
• Sim_UtilInfoIsEqual() : sim.h , simUtils.c
• Sim_UtilInfoIsImp() : sim.h , simUtils.c
• Sim_UtilMatrsAreDisjoint() : sim.h , simUtils.c
• Sim_UtilSetCompl() : sim.h , simUtils.c
• Sim_UtilSetConst() : sim.h , simUtils.c
• Sim_UtilSetRandom() : sim.h , simUtils.c
• Sim_UtilSimulate() : sim.h , simUtils.c
• Sim_UtilSimulateNode() : sim.h , simUtils.c
• Sim_UtilSimulateNodeOne() : sim.h , simUtils.c
• Sim_UtilTransferNodeOne() : sim.h , simUtils.c
• simp_comp() : compl.c , espresso.h
• simp_comp_special_cases() : compl.c
• simplify() : compl.c , espresso.h
• simplify_cubelist() : cofactor.c
• simplify_special_cases() : compl.c
• size_sort() : cvrm.c , espresso.h
• size_stamp() : cvrmisc.c , espresso.h
• skip_line() : cvrin.c , espresso.h
• skipLine() : msatRead.c
• sm_alloc() : matrix.c , sparse.h
• sm_alloc_size() : sparse.h , matrix.c
• sm_block_partition() : part.c , sparse.h
• sm_cleanup() : sparse.h , matrix.c
• sm_col_alloc() : cols.c , sparse.h
• sm_col_and() : sparse.h , cols.c
• sm_col_compare() : cols.c , sparse.h
• sm_col_contains() : cols.c , sparse.h
• sm_col_dominance() : dominate.c , sparse.h
• sm_col_dup() : sparse.h , cols.c
• sm_col_find() : cols.c , sparse.h
• sm_col_free() : sparse.h , cols.c
• sm_col_hash() : cols.c , sparse.h
• sm_col_insert() : sparse.h , cols.c
• sm_col_intersects() : cols.c , sparse.h
• sm_col_print() : cols.c , sparse.h
• sm_col_remove() : cols.c , sparse.h
• sm_col_remove_element() : sparse_int.h , cols.c
• sm_copy_col() : matrix.c , sparse.h
• sm_copy_row() : sparse.h , matrix.c
• sm_delcol() : matrix.c , sparse.h
• sm_delrow() : sparse.h , matrix.c
• sm_dump() : matrix.c , sparse.h
• sm_dup() : matrix.c , sparse.h
• sm_find() : matrix.c , sparse.h
• sm_free() : sparse.h , matrix.c
• sm_insert() : matrix.c , sparse.h
• sm_longest_col() : sparse.h , matrix.c
• sm_longest_row() : matrix.c , sparse.h
• sm_maximal_independent_set() : mincov_int.h , indep.c
• sm_mincov() : mincov.c , mincov_int.h
• sm_minimum_cover() : mincov.c , mincov.h
• sm_num_elements() : matrix.c
• sm_print() : matrix.c , sparse.h
• sm_read() : matrix.c , sparse.h
• sm_read_compressed() : matrix.c , sparse.h
• sm_remove() : matrix.c , sparse.h
• sm_remove_element() : matrix.c , sparse.h
• sm_resize() : matrix.c , sparse.h
• sm_row_alloc() : rows.c , sparse.h
• sm_row_and() : rows.c , sparse.h
• sm_row_compare() : rows.c , sparse.h
• sm_row_contains() : rows.c , sparse.h
• sm_row_dominance() : dominate.c , sparse.h
• sm_row_dup() : sparse.h , rows.c
• sm_row_find() : rows.c , sparse.h
• sm_row_free() : sparse.h , rows.c
• sm_row_hash() : rows.c , sparse.h
• sm_row_insert() : rows.c , sparse.h
• sm_row_intersects() : rows.c , sparse.h
• sm_row_print() : sparse.h , rows.c
• sm_row_remove() : rows.c , sparse.h
• sm_row_remove_element() : rows.c , sparse_int.h
• sm_write() : matrix.c , sparse.h
• Sml_CompareMaxId() : fraImp.c
• Sml_NodeCheckImp() : fraImp.c
• Sml_NodeNotImpWeight() : fraImp.c
• Sml_NodeSaveNotImpPatterns() : fraImp.c
• so_both_do_espresso() : cvrm.c , espresso.h
• so_both_do_exact() : cvrm.c , espresso.h
• so_both_espresso() : espresso.h , cvrm.c
• so_both_save() : cvrm.c , espresso.h
• so_do_espresso() : cvrm.c , espresso.h
• so_do_exact() : cvrm.c , espresso.h
• so_espresso() : espresso.h , cvrm.c
• so_save() : cvrm.c , espresso.h
• solution_accept() : mincov_int.h , solution.c
• solution_add() : mincov_int.h , solution.c
• solution_alloc() : mincov_int.h , solution.c
• solution_choose_best() : mincov_int.h , solution.c
• solution_dup() : mincov_int.h , solution.c
• solution_free() : solution.c , mincov_int.h
• solution_reject() : mincov_int.h , solution.c
• sort_reduce() : espresso.h , cvrm.c
• sortrnd() : satSolver.c
• sprintf() : util_old.h
• srand() : stdlib_hack.h
• srandom() : util_old.h
• st_add_direct() : st.c , st.h
• st_copy() : st.c , st.h
• st_delete() : st.c , st.h
• st_delete_int() : st.h , st.c
• st_find() : st.h , st.c
• st_find_or_add() : st.c , st.h
• st_foreach() : st.h , st.c
• st_free_gen() : st.h , st.c
• st_free_table() : st.h , st.c
• st_gen() : st.h , st.c
• st_gen_int() : st.h , st.c
• st_init_gen() : st.c , st.h
• st_init_table() : st.h , st.c
• 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.c , st.h , st.c
• st_numhash() : st.c , st.h
• st_ptrcmp() : st.c , st.h , st.c
• st_ptrhash() : st.c , st.h , st.c
• st_strhash() : st.c , st.h
• st_zdd_count_dbl_free() : cuddZddCount.c
• st_zdd_countfree() : cuddZddCount.c
• stmm_add_direct() : stmm.c
• stmm_clean() : stmm.c
• stmm_copy() : stmm.c
• stmm_delete() : stmm.c
• stmm_delete_int() : stmm.c
• stmm_find() : stmm.c
• stmm_find_or_add() : stmm.c
• stmm_foreach() : stmm.c
• stmm_free_gen() : stmm.c
• stmm_free_table() : stmm.c
• stmm_gen() : stmm.c
• stmm_gen_int() : stmm.c
• stmm_init_gen() : stmm.c
• stmm_init_table() : stmm.c
• stmm_init_table_with_params() : stmm.c
• stmm_insert() : stmm.c
• stmm_lookup() : stmm.c
• stmm_lookup_int() : stmm.c
• stmm_numcmp() : stmm.c
• stmm_numhash() : stmm.c
• stmm_ptrcmp() : stmm.c
• stmm_ptrhash() : stmm.c
• stmm_strhash() : stmm.c
• Sto_ManAddClause() : satStore.c , satStore.h
• Sto_ManAlloc() : satStore.c , satStore.h
• Sto_ManDumpClauses() : satStore.c , satStore.h
• Sto_ManFree() : satStore.c , satStore.h
• Sto_ManLoadClauses() : satStore.c , satStore.h
• Sto_ManLoadNumber() : satStore.c
• Sto_ManMarkClausesA() : satStore.h , satStore.c
• Sto_ManMarkRoots() : satStore.h , satStore.c
• Sto_ManMemoryFetch() : satStore.c
• Sto_ManMemoryReport() : satStore.c , satStore.h
• Sto_ManMemoryStop() : satStore.c
• stopping_criterion() : cuddAnneal.c
• StoreNodes() : cuddSubsetHB.c
• stPathTableDdFree() : cuddSubsetSP.c
• strcat() : util_old.h
• strchr() : util_old.h
• strcmp() : util_old.h
• strcoll() : util_old.h
• strcpy() : util_old.h
• strcspn() : util_old.h
• strerror() : util_old.h
• strlen() : util_old.h
• strncat() : util_old.h
• strncmp() : util_old.h
• strncpy() : util_old.h
• strpbrk() : util_old.h
• strrchr() : util_old.h
• strsav() : espresso.h
• strspn() : util_old.h
• strstr() : util_old.h
• strtod() : stdlib_hack.h
• strtok() : util_old.h
• strtol() : stdlib_hack.h
• strtoul() : stdlib_hack.h
• strxfrm() : util_old.h
• subcommands() : main.c
• SubsetCountMinterm() : cuddSubsetHB.c
• SubsetCountMintermAux() : cuddSubsetHB.c
• SubsetCountNodes() : cuddSubsetHB.c
• SubsetCountNodesAux() : cuddSubsetHB.c
• Super2_LibAddGate() : superAnd.c
• Super2_LibCompareGates() : superAnd.c
• Super2_LibCompute() : superAnd.c
• Super2_LibDup() : superAnd.c
• Super2_LibFirst() : superAnd.c
• Super2_LibStart() : superAnd.c
• Super2_LibStop() : superAnd.c
• Super2_LibWrite() : superAnd.c
• Super2_LibWriteCompare() : superAnd.c
• Super2_LibWriteGate() : superAnd.c
• Super2_LibWriteGate_rec() : superAnd.c
• Super2_ManStart() : superAnd.c
• Super2_ManStop() : superAnd.c
• Super2_Precompute() : superInt.h , superAnd.c
• Super_AddGateToTable() : superGate.c
• Super_AreaCompare() : superGate.c
• Super_CheckTimeout() : superGate.c
• Super_CommandSupergates() : super.c
• Super_CommandSupergatesAnd() : super.c
• Super_CompareGates() : superGate.c
• Super_Compute() : superGate.c
• Super_CreateGateNew() : superGate.c
• Super_DelayCompare() : superGate.c
• Super_End() : mainInit.c , super.c
• Super_First() : superGate.c
• super_gasp() : gasp.c , espresso.h
• Super_Init() : super.c , mainInit.c
• Super_ManStart() : superGate.c
• Super_ManStop() : superGate.c
• Super_Precompute() : superInt.h , superGate.c
• Super_TranferGatesToArray() : superGate.c
• Super_Write() : superGate.c
• Super_WriteCompare() : superGate.c
• Super_WriteFileHeader() : superGate.c
• Super_WriteLibrary() : superGate.c
• Super_WriteLibraryGate() : superGate.c
• Super_WriteLibraryGateName() : superGate.c
• Super_WriteLibraryGateName_rec() : superGate.c
• Super_WriteLibraryTree() : superGate.c
• Super_WriteLibraryTree_rec() : superGate.c
• Supp_ManFetch() : abcPart.c
• Supp_ManFetchEntry() : abcPart.c
• Supp_ManMergeEntry() : abcPart.c
• Supp_ManRecycle() : abcPart.c
• Supp_ManRecycleEntry() : abcPart.c
• Supp_ManStart() : abcPart.c
• Supp_ManStop() : abcPart.c
• Supp_ManTransferEntry() : abcPart.c
• Supp_OneNext() : abcPart.c
• Supp_OneSetNext() : abcPart.c
• Supp_SizeType() : abcPart.c
• swab() : stdlib_hack.h
• Sym_ManPrintStats() : simMan.c , sim.h
• Sym_ManStart() : simMan.c , sim.h
• Sym_ManStop() : simMan.c , sim.h
• symbolic_hack_labels() : hack.c , espresso.h
• system() : util_old.h , stdlib_hack.h