- s -

• sat_AddBlockingClause() : satUtil.c
• sat_AddClause() : satUtil.c
• sat_AddClauseIncremental() : satUtil.c
• sat_AddConflictClause() : satUtil.c
• sat_AddConflictClauseAndBacktrack() : satConflict.c
• sat_AddConflictClauseAndBacktrackForLifting() : satConflict.c
• sat_AddConflictClauseNoScoreUpdate() : satUtil.c
• sat_AddConflictClauseWithNoScoreAndBacktrack() : satConflict.c
• sat_AddUnitBlockingClause() : satUtil.c
• sat_AddUnitClause() : satUtil.c
• sat_AddUnitConflictClause() : satUtil.c
• sat_AddWL() : satUtil.c
• sat_AllocLevel() : satUtil.c
• sat_AllocLiteralsDB() : satUtil.c
• sat_ApplyForcedAssigment() : satUtil.c
• sat_ApplyForcedAssignmentMain() : satUtil.c
• sat_ArrayAlloc() : satUtil.c
• sat_ArrayDuplicate() : satUtil.c
• sat_ArrayFree() : satUtil.c
• sat_ArrayInsert() : satUtil.c
• sat_ASDec() : satCore.c
• sat_ASImp() : satCore.c
• sat_ASmergeLevel() : satCore.c
• sat_Backtrack() : satConflict.c
• sat_BuildLevelZeroHyperImplicationGraph() : satImplication.c
• sat_BuildRT() : satCore.c
• sat_BuildTrie() : satInc.c
• sat_BuildTrieForDistill() : satInc.c
• sat_CE() : satCore.c
• sat_CE_CNF() : satCore.c
• sat_CheckConflictClause() : satDebug.c
• sat_CheckDecisonVariableArray() : satDecision.c
• sat_CheckFlagsOnConflict() : satDebug.c
• sat_CheckForwardedClauses() : satInc.c
• sat_CheckInitialCondition() : satDebug.c
• sat_CheckNonobjConflictClause() : satDebug.c
• sat_CheckNonobjUnitClause() : satDebug.c
• sat_CheckOrderedVariableArray() : satDecision.c
• sat_ClauseDeletion() : satUtil.c
• sat_ClauseDeletionLatestActivity() : satUtil.c
• sat_CleanDatabase() : satUtil.c
• sat_CleanImplicationQueue() : satImplication.c
• sat_CleanLevel() : satUtil.c
• sat_CNFMain() : satMain.c
• sat_CNFMainWithArray() : satMain.c
• sat_CollectBlockingClause() : satUtil.c
• sat_CombineStatistics() : satUtil.c
• sat_CompactClauses() : satUtil.c
• sat_CompactFanout() : satUtil.c
• sat_ConflictAnalysis() : satConflict.c
• sat_ConflictAnalysisForCoreGen() : satConflict.c
• sat_ConflictAnalysisForLifting() : satConflict.c
• sat_ConflictAnalysisOnTrie() : satInc.c
• sat_ConflictAnalysisUsingAuxImplication() : satConflict.c
• sat_ConflictAnalysisWithBlockingClause() : satConflict.c
• sat_CopyWord() : satInterface.c
• sat_CountUnitLiteralClauses() : satInterface.c
• sat_CreateNode() : satUtil.c
• sat_CreateQueue() : satUtil.c
• sat_DecisionBasedOnBDD() : satDecision.c
• sat_DecisionBasedOnLatestConflict() : satDecision.c
• sat_DecisionBasedOnScore() : satDecision.c
• sat_DecisionBasedOnShrink() : satDecision.c
• sat_DecisionBasedOnTrie() : satInc.c
• sat_DeleteClause() : satUtil.c
• sat_Dequeue() : satUtil.c
• sat_EnlargeLiteralDB() : satUtil.c
• sat_Enqueue() : satUtil.c
• sat_FindUIP() : satConflict.c
• sat_FindUIPAndNonUIP() : satConflict.c
• sat_FindUIPForCoreGen() : satConflict.c
• sat_FindUIPForCoreGenWithRT() : satConflict.c
• sat_FindUIPWithRT() : satConflict.c
• sat_FreeInterface() : satUtil.c
• sat_FreeLiteralsDB() : satUtil.c
• sat_FreeManager() : satUtil.c
• sat_FreeOption() : satUtil.c
• sat_FreeQueue() : satUtil.c
• sat_FreeStatistics() : satUtil.c
• sat_FreeTrie() : satInc.c
• sat_GenerateBwdIP() : satCore.c
• sat_GenerateCore() : satCore.c
• sat_GenerateCore_All() : satCore.c
• sat_GenerateCoreRecur() : satCore.c
• sat_GenerateFwdIP() : satCore.c
• sat_GetCanonical() : satUtil.c
• sat_GetClauseFromLit() : satUtil.c
• sat_GetConflictAsConflictClause() : satInc.c
• sat_GetDependence() : satCore.c
• sat_GetFanoutSize() : satUtil.c
• sat_GetNumberOfInitialClauses() : satUtil.c
• sat_GetNumberOfInitialVariables() : satUtil.c
• sat_ImplicationMain() : satImplication.c
• sat_ImplyArray() : satImplication.c
• sat_ImplyArrayWithAnte() : satCore.c
• sat_ImplyBDD() : satImplication.c
• sat_ImplyCNF() : satImplication.c
• sat_ImplyConflict() : satImplication.c
• sat_ImplyForwardOne() : satImplication.c
• sat_ImplyLeftForward() : satImplication.c
• sat_ImplyNode() : satImplication.c
• sat_ImplyPropLeft() : satImplication.c
• sat_ImplyPropLeftOne() : satImplication.c
• sat_ImplyPropLeftRight() : satImplication.c
• sat_ImplyPropRight() : satImplication.c
• sat_ImplyPropRightOne() : satImplication.c
• sat_ImplyRightForward() : satImplication.c
• sat_ImplySplit() : satImplication.c
• sat_ImplyStop() : satImplication.c
• sat_ImplyUnitPureLitsWithAnte() : satCore.c
• sat_IncrementalUsingDistill() : satInc.c
• sat_InitLayerScore() : satCore.c
• sat_InitManager() : satUtil.c
• sat_InitOption() : satUtil.c
• sat_InitScore() : satDecision.c
• sat_InitScoreForMixed() : satDecision.c
• sat_InitStatistics() : satUtil.c
• sat_Main() : satMain.c
• sat_MakeDecision() : satDecision.c
• sat_MarkLayer() : satCore.c
• sat_MarkLayerInitState() : satCore.c
• sat_MarkLayerLatch() : satCore.c
• sat_MarkLayerProperty() : satCore.c
• sat_MarkNodeInConflict() : satConflict.c
• sat_MarkNodeInConflictClauseNoObj() : satConflict.c
• sat_MarkNodeInConflictClauseObjConservative() : satConflict.c
• sat_MarkNodeInImpliedNode() : satConflict.c
• sat_MarkNodeInImpliedNodeNoObj() : satConflict.c
• sat_MarkNodeInImpliedNodeObjConservative() : satConflict.c
• sat_MarkNodeSub() : satConflict.c
• sat_MarkObjectiveFlagToArray() : satMain.c
• sat_MarkTransitiveFaninForArray() : satUtil.c
• sat_MarkTransitiveFaninForNode() : satUtil.c
• sat_MemUsage() : satUtil.c
• sat_MinimizeConflictClause() : satConflict.c
• sat_PeriodicFunctions() : satMain.c
• sat_PostProcessing() : satMain.c
• sat_PreProcessing() : satMain.c
• sat_PreProcessingForMixed() : satMain.c
• sat_PreProcessingForMixedNoCompact() : satMain.c
• sat_PrintClauseArray() : satDebug.c
• sat_PrintClauseLits() : satCore.c
• sat_PrintClauseLitsForCore() : satCore.c
• sat_PrintDotForConflict() : satDebug.c
• sat_PrintDotForImplicationGraph() : satDebug.c
• sat_PrintDotForWholeGraph() : satDebug.c
• sat_PrintFlag() : satDebug.c
• sat_PrintImplicationGraph() : satDebug.c
• sat_PrintLiteral() : satDebug.c
• sat_PrintNode() : satDebug.c
• sat_PrintNodeAlone() : satDebug.c
• sat_PrintProfileForNumConflict() : satDebug.c
• sat_PrintSatisfyingAssignment() : satMain.c
• sat_PrintScore() : satDebug.c
• sat_PrintUnitLiteralClauses() : satInterface.c
• sat_PutAssignmentValueMain() : satUtil.c
• sat_ReadCNF() : satInterface.c
• sat_ReadCNFFromArray() : satInterface.c
• sat_ReadForcedAssignment() : satUtil.c
• sat_RemoveSpace() : satInterface.c
• sat_ReportStatistics() : satUtil.c
• sat_ResetFlagForClauseArray() : satConflict.c
• sat_RestoreBlockingClauses() : satUtil.c
• sat_RestoreClauses() : satUtil.c
• sat_RestoreFanout() : satUtil.c
• sat_RestoreForwardedClauses() : satInc.c
• sat_RestoreFrontierClauses() : satUtil.c
• sat_SaveAllClauses() : satInc.c
• sat_SaveNonobjClauses() : satInc.c
• sat_SetConeOfInfluence() : satUtil.c
• sat_SetIncrementalOption() : satUtil.c
• sat_SetOptionForUP() : satInterface.c
• sat_Solve() : satMain.c
• sat_StrongConflictAnalysis() : satConflict.c
• sat_TrieBasedImplication() : satInc.c
• sat_TryToBuildMonolithicBDD() : satBDD.c
• sat_Undo() : satConflict.c
• sat_UnmarkTransitiveFaninForArray() : satUtil.c
• sat_UnmarkTransitiveFaninForNode() : satUtil.c
• sat_UpdateDVH() : satDecision.c
• sat_UpdateScore() : satDecision.c
• sat_Verify() : satMain.c
• sat_WriteCNF() : satInterface.c
• sat_WriteCNFFromArray() : satInterface.c
• sat_WriteCNFWithPartialAssignment() : satInterface.c
• sat_WriteCNFWithPointer() : satInterface.c
• SaveOldMddIds() : res.c
• sccGetPeriod() : mark.c
• SccIsStrong() : mcDnC.c
• SccSortListDecreasingWithArea() : imgMlp.c
• SccSortListDecreasingWithRatio() : imgMlp.c
• SccSortListDecreasingWithVars() : imgMlp.c
• SccSortListIncreasingWithArea() : imgMlp.c
• SccSortListIncreasingWithRatio() : imgMlp.c
• SccSortListIncreasingWithVars() : imgMlp.c
• SccSortRc() : imgMlp.c
• ScheduleEvent() : truesimMain.c
• ScoreCompare() : puresatArosat.c , satCore.c , satDecision.c
• ScoreDistillCompare() : satInc.c
• SelectIdentifierVertices() : absInternal.c
• SetAdjustedEntry() : tblSweep.c
• SetBasicResultInfo() : res.c
• SetCheckSupport() : mcUtil.c
• SetEntry() : tblSweep.c
• SetInputValues() : truesimZero.c
• SetupLazySifting() : imgIwls95.c
• SetupMlp() : imgMlp.c
• ShuffleMddIdsToTop() : ltl.c
• SI() : ltlAutomaton.c
• SignatureCompare() : imgTfmUtil.c
• sigterm() : cmdCmd.c
• Sim_End() : simMain.c
• Sim_FileParseDeclaration() : simIo.c
• Sim_FileParseVectors() : simIo.c
• Sim_Init() : simMain.c
• Sim_NetworkBuildNodeToMvfTable() : simUtil.c
• Sim_NetworkCreateNodesArray() : simMain.c
• Sim_nodeToMvfTableEvaluateNode() : simMain.c
• Sim_nodeToMvfTableEvaluateNodesArray() : simMain.c
• Sim_RandomSimulate() : simMain.c
• Sim_SimCreate() : simMain.c
• Sim_SimFree() : simMain.c
• Sim_SimGenerateRandomInitState() : simMain.c
• Sim_SimGenerateRandomVectors() : simMain.c
• Sim_SimPrint() : simIo.c
• Sim_SimReadCurrentStateHead() : simSim.c
• Sim_SimReadInitState() : simSim.c
• Sim_SimReadInputFile() : simSim.c
• Sim_SimReadLineNumber() : simSim.c
• Sim_SimReadNetwork() : simSim.c
• Sim_SimReadNextStateHead() : simSim.c
• Sim_SimReadNodesArray() : simSim.c
• Sim_SimReadNodeToMvfTable() : simSim.c
• Sim_SimReadOutputHead() : simSim.c
• Sim_SimReadVectorArray() : simSim.c
• Sim_SimReset() : simMain.c
• Sim_SimSimulate() : simMain.c
• Sim_SimTestIsVerbose() : simSim.c
• SimAddVector() : simIo.c
• SimAppendErrorMsg() : simUtil.c
• SimComputeRandomInteger() : simUtil.c
• SimFileSimulateAndPrint() : simMain.c
• SimInteger2ASCII() : simUtil.c
• SimNodeComputeRandomValue() : simUtil.c
• SimNodeReadValueCode() : simUtil.c
• SimNodesArrayBuildNodeToMvfTable() : simUtil.c
• SimNodesArrayBuildRootsAndLeaves() : simUtil.c
• SimObtainInputsArray() : simIo.c
• SimRandomSimulateAndPrint() : simMain.c
• SimSimInitDataFormat() : simUtil.c
• SimSimInitializeCurrentState() : simMain.c
• SimSimVectorBuildMdd() : simUtil.c
• SimSimVectorFillCurrentState() : simUtil.c
• SimStringPrint() : simUtil.c
• SimTestPartInTermsOfCI() : simUtil.c
• SinglePatternSimulate() : truesimMain.c
• SizeOperatorSetGSH() : mcGFP.c
• SortCol() : imgMlp.c
• SortedListAlloc() : imgMlp.c
• SortedListDelete() : imgMlp.c
• SortedListFree() : imgMlp.c
• SortedListInsert() : imgMlp.c
• SortedListMove() : imgMlp.c
• SortFormulasByFsm() : mcMc.c
• SortMddArrayBySize() : mcDnC.c
• SortMddIds() : mcUtil.c
• SortSubFsmsForApproximateTraversal() : fsmArdc.c
• Spfd_End() : spfdCmd.c
• Spfd_Init() : spfdCmd.c
• SpfdAddEqual() : spfdUtil.c
• SpfdAllocateOrReuseAuxVariables() : spfdUtil.c
• SpfdAllocateTemporaryVariables() : spfdUtil.c
• SpfdApplFreeCallback() : spfdClean.c
• SpfdCheckIfWireIsRedundantOrReplaceable() : spfdOpt.c
• SpfdCleanUpAuxIds() : spfdClean.c
• SpfdComputeNodeArrayRelation() : spfdUtil.c
• SpfdComputeParameters() : spfdUtil.c
• SpfdComputeRequiredGlobalBdds() : spfdCommon.c
• SpfdDepthCompare() : spfdUtil.c
• SpfdDescendDepthCompare() : spfdUtil.c
• SpfdFanoutCountAndDepthCompare() : spfdUtil.c
• SpfdFetchInternalPatternArray() : spfdUtil.c
• SpfdFindNode() : spfdUtil.c
• SpfdInitializeApplData() : spfdUtil.c
• SpfdMddCreateVariables() : spfdUtil.c
• SpfdNetworkAddWire() : spfdProg.c
• SpfdNetworkOptimize() : spfdOpt.c
• SpfdNetworkRemoveWire() : spfdProg.c
• SpfdNetworkWriteBlifFile() : spfdUtil.c
• SpfdNodeComputeFanoutRegion() : spfdReg.c
• SpfdNodeComputeOptParams() : spfdCommon.c
• SpfdNodeComputeSCCs() : spfdSpfd.c
• SpfdNodeComputeSpfdFromFanouts() : spfdSpfd.c
• SpfdNodeComputeSpfdFromOnAndOffSet() : spfdSpfd.c
• SpfdNodeComputeTFIUntilDepth() : spfdReg.c
• SpfdNodeDeleteFaninOrder() : spfdAPI.c
• SpfdNodeDeleteGlobalAlternative() : spfdAPI.c
• SpfdNodeDeleteLocalAlt() : spfdAPI.c
• SpfdNodeDeleteParameters() : spfdAPI.c
• SpfdNodeDeleteSpfd() : spfdAPI.c
• SpfdNodeReadAuxId() : spfdAPI.c
• SpfdNodeReadFaninOrder() : spfdAPI.c
• SpfdNodeReadGlobalAlternative() : spfdAPI.c
• SpfdNodeReadLocalAlt() : spfdAPI.c
• SpfdNodeReadLocalBdd() : spfdUtil.c
• SpfdNodeReadLocked() : spfdAPI.c
• SpfdNodeReadNetIndex() : spfdAPI.c
• SpfdNodeReadNumParams() : spfdAPI.c
• SpfdNodeReadParameters() : spfdAPI.c
• SpfdNodeReadSpfd() : spfdAPI.c
• SpfdNodeReduceSCCToSinglePair() : spfdCommon.c
• SpfdNodeSetAuxId() : spfdAPI.c
• SpfdNodeSetFaninOrder() : spfdAPI.c
• SpfdNodeSetGlobalAlternative() : spfdAPI.c
• SpfdNodeSetLocalAlt() : spfdAPI.c
• SpfdNodeSetLocked() : spfdAPI.c
• SpfdNodeSetParameters() : spfdAPI.c
• SpfdNodeSetSpfd() : spfdAPI.c
• SpfdNodesInTFO() : spfdReg.c
• SpfdOptimizeFaninNodes() : spfdOpt.c
• SpfdOptimizeFaninWires() : spfdOpt.c
• SpfdOptimizeFanoutWires() : spfdOpt.c
• SpfdOptimizeNode() : spfdOpt.c
• SpfdOptimizeWire() : spfdOpt.c
• SpfdOrderFaninOfRegionNodes() : spfdUtil.c
• SpfdRegionComputeSinglePairSpfd() : spfdCommon.c
• SpfdReleaseAlternatePiIds() : spfdClean.c
• SpfdReleaseAndCleanNodeData() : spfdClean.c
• SpfdReprogramNode() : spfdProg.c
• SpfdReprogramRegionNodes() : spfdProg.c
• SpfdSimultaneousPlacementAndLogicOpt() : spfdCmd.c
• SpfdStBddFree() : spfdClean.c
• SpfdStTableClean() : spfdClean.c
• SpfdSwapPiAndAltPi() : spfdUtil.c
• SpfdSwitchedCapAndDepthCompare() : spfdUtil.c
• SpfdTestIfNodeGlobalFuncSatisfiesWireSpfd() : spfdOpt.c
• split_line() : cmdCmd.c
• StatesMddFromVector() : simMain.c
• stCountFree() : restrCmd.c
• stFloatFree() : truesimUtil.c
• stIntersect() : bmcAutUtil.c
• StMvfFree() : restrRestructure.c
• strCompare() : partGroup.c
• StringCheckIsInteger() : baigAllSat.c , bmcUtil.c , puresatIPUtil.c , bmcCirCUs.c
• stringCompare() : mcDnC.c , amcAmc.c , imcImc.c
• StringConvertToDynOrderType() : ordCmd.c
• StringConvertToOrderType() : ordCmd.c
• StringNormalize() : ltlCompose.c
• StTableAppend() : ltlMinimize.c
• StTableDelete() : ltlMinimize.c
• StTableInclude() : ltlMinimize.c
• StTableIsDisjoint() : ltlMinimize.c
• StTableIsEqual() : ltlMinimize.c
• StTableIsFair() : ltlMinimize.c
• StTableRestrict() : ltlMinimize.c
• StTableSubtract() : ltlMinimize.c
• stTrueSimFree() : truesimMain.c
• SubcktFree() : hrcMemUtil.c
• SubstituteCacheResult() : imgTfmCache.c
• SubstituteCacheResultRecur() : imgTfmCache.c
• SubtractStates() : fsmHD.c
• SuccessTest() : absRefine.c
• swap() : ordPerm.c
• SweepBddCompare() : baigBddSweep.c
• SweepBddHash() : baigBddSweep.c
• Synth_End() : synth.c
• Synth_FreeInfo() : synthSynth.c
• Synth_Init() : synth.c
• Synth_InitializeInfo() : synthSynth.c
• Synth_SynthesizeFsm() : synthSynth.c
• Synth_SynthesizeNetwork() : synthSynth.c
• Synth_ZddCommonDivisor() : synthDiv.c
• Synth_ZddLeastDivisor() : synthDiv.c
• Synth_ZddLevelZeroDivisor() : synthDiv.c
• Synth_ZddLpDivisor() : synthDiv.c
• Synth_ZddMostDivisor() : synthDiv.c
• Synth_ZddQuickDivisor() : synthDiv.c
• SynthCheckAndMakeComplement() : synthFactor.c
• SynthClearMlTable() : synthFactor.c
• SynthCountLiteralOccurrence() : synthDiv.c
• SynthCountMlLiteral() : synthCount.c
• SynthDumpBlif() : synthWrite.c
• synthesizeNetwork() : synthSynth.c
• SynthFactorTreeRecur() : synthSimple.c
• SynthFindBiggerDivisorInList() : synthSimple.c
• SynthFindDivisorForLowPower() : synthOpt.c
• SynthFindOrCreateMlTree() : synthFactor.c
• SynthFreeMlTree() : synthUtil.c
• SynthFreeNodeNameTable() : synthWrite.c
• SynthGenericFactorTree() : synthGen.c
• SynthGetChildMlTreeWithName() : synthUtil.c
• SynthGetChildTreeWithName() : synthUtil.c
• SynthGetFactorTreeWithCommonDivisor() : synthSimple.c
• SynthGetHeadTreeOfSize() : synthFactor.c
• SynthGetInternalNodeName() : synthWrite.c
• SynthGetIthOutputName() : synthOpt.c
• SynthGetLiteralCount() : synthCount.c
• SynthGetPrimaryIndexName() : synthUtil.c
• SynthGetPrimaryNodeName() : synthUtil.c
• SynthGetSpaceString() : synthFactor.c
• SynthGetSupportCount() : synthCount.c
• SynthGetSupportMask() : synthCount.c
• SynthInitMlTable() : synthFactor.c
• SynthIsSubsetOfSupport() : synthOpt.c
• SynthLookupMlTable() : synthFactor.c
• SynthMakeComplementString() : synthUtil.c
• SynthMakeCubeFree() : synthGen.c
• SynthMultiLevelOptimize() : synthOpt.c
• SynthPostFactoring() : synthFactor.c
• SynthPostFactorTree() : synthSimple.c
• SynthPrintLeafList() : synthFactor.c
• SynthPrintMlTreeMessage() : synthUtil.c
• SynthPrintMlTreeWithName() : synthUtil.c
• SynthPrintTreeList() : synthFactor.c
• SynthPrintZddCoverWithName() : synthUtil.c
• SynthPrintZddTree() : synthUtil.c
• SynthPrintZddTreeMessage() : synthUtil.c
• SynthPutMlTreeInList() : synthFactor.c
• SynthSetCostFactors() : synthOpt.c
• SynthSetInternalNodePrefix() : synthWrite.c
• SynthSetOutputOrdering() : synthOpt.c
• SynthSetProbability() : synthOpt.c
• SynthSetSharedFlag() : synthFactor.c
• SynthSetSupportCount() : synthOpt.c
• SynthSetupNodeNameTable() : synthWrite.c
• SynthSetUseFuncDivisor() : synthOpt.c
• SynthSetZddDivisorFunc() : synthFactor.c
• SynthSimpleFactorTree() : synthSimple.c
• SynthStringCompare() : synthWrite.c
• SynthUpdateRefOfParent() : synthFactor.c
• SynthUseCandidate() : synthFactor.c
• SynthVerifyMlTable() : synthFactor.c
• SynthVerifyTree() : synthFactor.c
• SynthWriteBlifFile() : synthWrite.c
• SynthWriteEqn() : synthWrite.c
• SynthWriteEqnHeader() : synthWrite.c
• SynthZddClearFlag() : synthCount.c
• SynthZddCommonDivisor() : synthDiv.c
• SynthZddLeastDivisor() : synthDiv.c
• SynthZddLevelZeroDivisor() : synthDiv.c
• SynthZddLpDivisor() : synthDiv.c
• SynthZddMostDivisor() : synthDiv.c
• SynthZddQuickDivisor() : synthDiv.c
• SynthZddSupportStep() : synthCount.c