- n -

• NameArrayFree() : ntkFlt.c
• nameCompare() : baigTimeframe.c , fsmFsm.c , puresatTFrame.c , bmcUtil.c
• NameStringProcess() : ordIo.c
• NetworkAbstractNodes() : ntkFlt.c
• NetworkAddCombOutput() : ntkNode.c
• NetworkAddDanglingNodesToOrderList() : ordMain.c
• NetworkAddNSVarsToOrderList() : ordMain.c
• NetworkBuildFormalToActualTableRecursively() : ntkFlt.c
• NetworkCheckSuppliedNodeList() : ordCmd.c
• NetworkCollapseConstantNode() : ntkSweep.c
• NetworkCollapseIdentityNode() : ntkSweep.c
• NetworkCollapseInverterNode() : ntkSweep.c
• NetworkComputeLatchOrder() : ordPerm.c
• NetworkCreateNodesRecursively() : ntkFlt.c
• NetworkDeclareIONodes() : ntkFlt.c
• NetworkDeclareLatches() : ntkFlt.c
• NetworkDeclareNodesRecursively() : ntkFlt.c
• NetworkInitializeOrderingState() : ordNodes.c
• NetworkOrderTFIOfRootsByAppending() : ordNodes.c
• NetworkOrderTFIOfRootsByInterleaving() : ordNodes.c
• NetworkOrderTFIOfRootsByMerging() : ordNodes.c
• NewPage() : truesimMain.c
• NodeBuildBddIdArrayFromNtkNode() : ordIo.c
• NodeBuildBddLevelArrayFromNtkNode() : ordIo.c
• NodeBuildConstantMvf() : ntm.c , resCompose.c
• NodeBuildConstantMvfAig() : ntmaig.c
• NodeBuildInputMvf() : ntm.c
• NodeBuildInputMvfAig() : ntmaig.c
• NodeBuildInternalMvf() : ntm.c
• NodeBuildInternalMvfAig() : ntmaig.c
• NodeBuildMvf() : partFrontier.c
• NodeBuildMvf2() : partFrontier.c
• NodeBuildMvfAigRecursively() : ntmaig.c
• NodeBuildMvfRecursively() : ntm.c
• NodeBuildPseudoInputMvf() : mcUtil.c , partFrontier.c
• NodeBuildPseudoInputMvfAigNew() : ntmaig.c
• NodeBuildPseudoInputMvfNew() : ntm.c
• NodeComputeDepth() : ordMain.c , truesimUtil.c
• NodeComputeGeneralProbability() : spfdCommon.c
• NodeComputeTfoLatchList() : ntkGraph.c
• NodeComputeTopologicalOrderRecursively() : ntkGraph.c
• NodeComputeTransitiveFaninNodes() : ntkGraph.c
• NodeCreateAsNecessary() : ntkFlt.c
• NodeDataFree() : spfdClean.c
• NodeDeclareWithTable() : ntkFlt.c
• NodeDecrementRefCount() : ntm.c , ntmaig.c
• NodeFreeTfoLatchList() : ntkGraph.c
• NodeIndexCompare() : puresatIPUtil.c , satUtil.c
• NodeLexCmp() : simMain.c
• NodeListChildren() : hrcCmd.c
• nodenameCompare() : baigAllSat.c , ntmaigCmd.c
• NodeObtainComponentModels() : hrcMisc.c
• NodeOrderRecursivelyByAppending() : ordNodes.c
• NodeOrderRecursivelyByInterleaving() : ordNodes.c
• NodeOrderRecursivelyByMerging() : ordNodes.c
• NodeReadBddLevelArray() : ordIo.c
• NodeReadColor() : ntkGraph.c
• NodeReadDepth() : truesimUtil.c
• NodeReadFrom() : ordNodes.c
• NodeReadMvf() : ntm.c
• NodeReadMvfAig() : ntmaig.c
• NodeReadNameFromTable() : ntkNtk.c
• NodeReadOrderList() : ordNodes.c
• NodeReadTfoLatchList() : ntkGraph.c
• NodeRecursivelyComputeTransitiveFaninNodes() : ntkGraph.c
• NodeRemoveFanout() : ntkSweep.c
• NodesCompareBddLevelArray() : ordIo.c
• NodesCompareDepth() : ordMain.c
• NodeSetBddLevelArray() : ordIo.c
• NodeSetColor() : ntkGraph.c
• NodeSetDepth() : ordMain.c , truesimUtil.c
• NodeSetFrom() : ordNodes.c
• NodeSetMvf() : ntm.c
• NodeSetMvfAig() : ntmaig.c
• NodeSetOrderList() : ordNodes.c
• NodeSetTfoLatchList() : ntkGraph.c
• NodesMatchUp() : eqvMisc.c
• NodeTableAddCtlFormulaNodes() : grabUtil.c , mcUtil.c
• NodeTableAddLtlFormulaNodes() : mcUtil.c
• NodeTestCannotReachCycle() : ntkGraph.c
• NodeTestCoveredByLeaves() : ntkGraph.c
• NoOfBitEncode() : baigTimeframe.c , bmcAutUtil.c , maigUtil.c , puresatTFrame.c
• NSFunctionNamesCompare() : fsmFsm.c
• Ntk_End() : ntkCmd.c
• Ntk_HrcManagerReadCurrentNetwork() : ntkCmd.c
• Ntk_HrcNodeConvertToNetwork() : ntkFlt.c
• Ntk_Init() : ntkCmd.c
• Ntk_LatchReadDataInput() : ntkNode.c
• Ntk_LatchReadInitialInput() : ntkNode.c
• Ntk_NetworkAddApplInfo() : ntkNtk.c
• Ntk_NetworkAlloc() : ntkNtk.c
• Ntk_NetworkAppendNetwork() : ntkNtk.c
• Ntk_NetworkComputeLatchDependencies() : ntkGraph.c
• Ntk_NetworkComputeTopologicalOrder() : ntkGraph.c
• Ntk_NetworkDuplicate() : ntkNtk.c
• Ntk_NetworkFindNodeByActualName() : ntkNtk.c
• Ntk_NetworkFindNodeByMddId() : ntkNtk.c
• Ntk_NetworkFindNodeByName() : ntkNtk.c
• Ntk_NetworkFree() : ntkNtk.c
• Ntk_NetworkFreeApplInfo() : ntkNtk.c
• Ntk_NetworkFreeCallback() : ntkNtk.c
• Ntk_NetworkInitializeMddManager() : ntkNtk.c
• Ntk_NetworkInsertFormalNameToActualName() : ntkNtk.c
• Ntk_NetworkPrint() : ntkNtk.c
• Ntk_NetworkPrintDot() : ntkNtk.c
• Ntk_NetworkPrintStats() : ntkNtk.c
• Ntk_NetworkReadActualNameFromFormalName() : ntkNtk.c
• Ntk_NetworkReadApplInfo() : ntkNtk.c
• Ntk_NetworkReadCombInputs() : ntkNtk.c
• Ntk_NetworkReadCombOutputs() : ntkNtk.c
• Ntk_NetworkReadDynamicVarOrderingMethod() : ntkNtk.c
• Ntk_NetworkReadInputs() : ntkNtk.c
• Ntk_NetworkReadLatches() : ntkNtk.c
• Ntk_NetworkReadMAigManager() : ntkNtk.c
• Ntk_NetworkReadMddManager() : ntkNtk.c
• Ntk_NetworkReadName() : ntkNtk.c
• Ntk_NetworkReadNodes() : ntkNtk.c
• Ntk_NetworkReadNumCombInputs() : ntkNtk.c
• Ntk_NetworkReadNumCombOutputs() : ntkNtk.c
• Ntk_NetworkReadNumInputs() : ntkNtk.c
• Ntk_NetworkReadNumLatches() : ntkNtk.c
• Ntk_NetworkReadNumNodes() : ntkNtk.c
• Ntk_NetworkReadNumPrimaryInputs() : ntkNtk.c
• Ntk_NetworkReadNumPrimaryOutputs() : ntkNtk.c
• Ntk_NetworkReadNumPseudoInputs() : ntkNtk.c
• Ntk_NetworkReadPrimaryInputs() : ntkNtk.c
• Ntk_NetworkReadPrimaryOutputs() : ntkNtk.c
• Ntk_NetworkReadPseudoInputs() : ntkNtk.c
• Ntk_NetworkReadUndef() : ntkNtk.c
• Ntk_NetworkSetApplInfo() : ntkNtk.c
• Ntk_NetworkSetDynamicVarOrderingMethod() : ntkNtk.c
• Ntk_NetworkSetMAigManager() : ntkNtk.c
• Ntk_NetworkSetMddManager() : ntkNtk.c
• Ntk_NetworkSetUndef() : ntkNtk.c
• Ntk_NetworkSweep() : ntkSweep.c
• Ntk_NetworkTestIsAcyclic() : ntkGraph.c
• Ntk_NetworkTestLeavesCoverSupportOfRoots() : ntkGraph.c
• Ntk_NetworkWriteBlifMv() : ntkNtk.c
• Ntk_NodeComputeCombinationalSupport() : ntkGraph.c
• Ntk_NodeComputeTransitiveFaninNodes() : ntkGraph.c
• Ntk_NodeComputeTransitiveFanInputNodes() : ntkGraph.c
• Ntk_NodeComputeTransitiveFanoutNodes() : ntkGraph.c
• Ntk_NodeCreateInNetwork() : ntkNode.c
• Ntk_NodeDeclareAsCombinational() : ntkNode.c
• Ntk_NodeDeclareAsLatch() : ntkNode.c
• Ntk_NodeDeclareAsPrimaryInput() : ntkNode.c
• Ntk_NodeDeclareAsPrimaryOutput() : ntkNode.c
• Ntk_NodeDeclareAsPseudoInput() : ntkNode.c
• Ntk_NodeDeclareAsShadow() : ntkNode.c
• Ntk_NodeFree() : ntkNode.c
• Ntk_NodeObtainTypeAsString() : ntkNode.c
• Ntk_NodePrint() : ntkNode.c
• Ntk_NodeReadFaninIndex() : ntkNode.c
• Ntk_NodeReadFaninNode() : ntkNode.c
• Ntk_NodeReadFanins() : ntkNode.c
• Ntk_NodeReadFanouts() : ntkNode.c
• Ntk_NodeReadMAigId() : ntkNode.c
• Ntk_NodeReadMddId() : ntkNode.c
• Ntk_NodeReadName() : ntkNode.c
• Ntk_NodeReadNetwork() : ntkNode.c
• Ntk_NodeReadNumFanins() : ntkNode.c
• Ntk_NodeReadNumFanouts() : ntkNode.c
• Ntk_NodeReadOutputIndex() : ntkNode.c
• Ntk_NodeReadShadow() : ntkNode.c
• Ntk_NodeReadTable() : ntkNode.c
• Ntk_NodeReadUndef() : ntkNode.c
• Ntk_NodeReadVariable() : ntkNode.c
• Ntk_NodeRemoveFromNetwork() : ntkSweep.c
• Ntk_NodeSetFanins() : ntkNode.c
• Ntk_NodeSetFanouts() : ntkNode.c
• Ntk_NodeSetMAigId() : ntkNode.c
• Ntk_NodeSetMddId() : ntkNode.c
• Ntk_NodeSetTable() : ntkNode.c
• Ntk_NodeSetUndef() : ntkNode.c
• Ntk_NodeTestIsCombinational() : ntkNode.c
• Ntk_NodeTestIsCombInput() : ntkNode.c
• Ntk_NodeTestIsCombOutput() : ntkNode.c
• Ntk_NodeTestIsConstant() : ntkNode.c
• Ntk_NodeTestIsInput() : ntkNode.c
• Ntk_NodeTestIsLatch() : ntkNode.c
• Ntk_NodeTestIsLatchDataInput() : ntkNode.c
• Ntk_NodeTestIsLatchInitialInput() : ntkNode.c
• Ntk_NodeTestIsNextStateNode() : ntkNode.c
• Ntk_NodeTestIsPrimaryInput() : ntkNode.c
• Ntk_NodeTestIsPrimaryOutput() : ntkNode.c
• Ntk_NodeTestIsPseudoInput() : ntkNode.c
• Ntk_NodeTestIsShadow() : ntkNode.c
• Ntk_NodeTestIsUndefined() : ntkNode.c
• Ntk_RegionFindNodes() : ntkGraph.c
• Ntk_ShadowReadOrigin() : ntkNode.c
• NtkNodeDeleteFromList() : ntkSweep.c
• Ntm_End() : ntm.c
• Ntm_Init() : ntm.c
• Ntm_NetworkBuildMvfs() : ntm.c
• ntmaig_End() : ntmaigCmd.c
• ntmaig_Init() : ntmaigCmd.c
• ntmAig_MvfAigTableFreeCallback() : ntmaig.c
• ntmaig_NetworkBuildMvfAigs() : ntmaig.c
• numCompare() : partGroup.c
• numCompareInt() : satDebug.c
• NumInConeCompare() : puresatUtil.c
• NumInConeCompare_Ring() : puresatUtil.c
• NumOfSccs() : imgMlp.c