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

- g -

• G_CR : cuddDecomp.c
• g_place_concreteCells : place_base.c , place_base.h
• g_place_concreteCellsSize : place_base.c
• g_place_concreteNets : place_base.c , place_base.h
• g_place_concreteNetsSize : place_base.c
• g_place_coreBounds : place_base.c , place_base.h
• g_place_numCells : place_base.c , place_base.h
• g_place_numNets : place_base.c , place_base.h
• g_place_numPartitions : place_gordian.c , place_gordian.h
• g_place_padBounds : place_base.c , place_base.h
• g_place_qpProb : place_genqp.c , place_gordian.h
• g_place_rootPartition : place_gordian.h , place_partition.c
• g_place_rowHeight : place_base.c , place_base.h
• G_ST : cuddDecomp.c
• GA2_BIG_NUM : absGla.c
• Ga2_GlaAbsCount() : absGla.c
• Ga2_GlaDumpAbsracted() : absGla.c
• Ga2_GlaGetFileName() : absGla.c
• Ga2_GlaPrepareCexAndMap() : absGla.c
• Ga2_Man_t : absGla.c
• Ga2_ManAbsDerive() : absGla.c
• Ga2_ManAbsPrintFrame() : absGla.c
• Ga2_ManAbsTranslate() : absGla.c
• Ga2_ManAbsTranslate_rec() : absGla.c
• Ga2_ManAddAbsClauses() : absGla.c
• Ga2_ManAddToAbs() : absGla.c
• Ga2_ManAddToAbsOneDynamic() : absGla.c
• Ga2_ManAddToAbsOneStatic() : absGla.c
• Ga2_ManBreakTree_rec() : absGla.c
• Ga2_ManCheckNodesAnd() : absGla.c
• Ga2_ManCnfAddDynamic() : absGla.c
• Ga2_ManCnfAddStatic() : absGla.c , absRef.c
• Ga2_ManCnfCompute() : absGla.c , absRef.c
• Ga2_ManCollectLeaves_rec() : absGla.c
• Ga2_ManCollectNodes_rec() : absGla.c
• Ga2_ManComputeTest() : absGla.c
• Ga2_ManComputeTruth() : absGla.c
• Ga2_ManDeriveCex() : absGla.c
• Ga2_ManDumpStats() : absGla.c
• Ga2_ManMarkup() : absGla.c
• Ga2_ManRefine() : absGla.c
• Ga2_ManRefinePrint() : absGla.c
• Ga2_ManRefinePrintPPis() : absGla.c
• Ga2_ManReportMemory() : absGla.c
• Ga2_ManRestart() : absGla.c
• Ga2_ManSetupNode() : absGla.c
• Ga2_ManShrinkAbs() : absGla.c
• Ga2_ManStart() : absGla.c
• Ga2_ManStop() : absGla.c
• Ga2_MapFrameMap() : absGla.c
• Ga2_ObjAddLit() : absGla.c
• Ga2_ObjCnf0() : absGla.c
• Ga2_ObjCnf1() : absGla.c
• Ga2_ObjComputeTruth_rec() : absGla.c
• Ga2_ObjComputeTruthSpecial() : absGla.c
• Ga2_ObjFindLit() : absGla.c
• Ga2_ObjFindOrAddLit() : absGla.c
• Ga2_ObjId() : absGla.c
• Ga2_ObjIsAbs() : absGla.c
• Ga2_ObjIsAbs0() : absGla.c
• Ga2_ObjIsLeaf() : absGla.c
• Ga2_ObjIsLeaf0() : absGla.c
• Ga2_ObjLeaveNum() : abs.h
• Ga2_ObjLeavePtr() : abs.h
• Ga2_ObjLeaves() : abs.h
• Ga2_ObjOffset() : abs.h
• Ga2_ObjRefNum() : abs.h
• Ga2_ObjSatValue() : absGla.c
• Ga2_ObjSetId() : absGla.c
• Ga2_ObjTruth() : abs.h
• Ga2_ObjTruthDepends() : absGla.c
• Ga2_StructAnalize() : absRefSelect.c
• Gains : rwrEva.c
• GASP : espresso.h
• GateType : csat_apis.h
• gatherInfo() : cuddApprox.c
• gatherInfoAux() : cuddApprox.c
• gatherMonotoneSignals() : kLiveConstraints.c
• Gcube : map.c
• gen_bitlen() : trees.c
• gen_codes() : trees.c
• gen_primes() : espresso.h
• generate_all_pairs() : espresso.h , pair.c
• generateCoGConstraints() : place_genqp.c
• generateCombinatorialStabil() : combination.c
• generateCombinatorialStabilExhaust() : combination.c
• generateDisjunctiveTester() : combination.c , kliveness.c
• generateGeneralDisjunctiveTester() : combination.c , kliveness.c
• generateMTFValues() : compress.c
• generateProperInputVector() : abcSaucy.c
• generateTypedNode() : ltl_parser.c
• generateWorkingAig() : kLiveConstraints.c , kliveness.c
• generateWorkingAigWithDSC() : arenaViolation.c , kliveness.c
• GET_BIT : decompress.c
• GET_BITS : decompress.c
• get_crc_table() : crc32.c
• get_fnct_ptr() : libSupport.c
• GET_LL : bzlib_private.h
• GET_LL4 : bzlib_private.h
• GET_MTF_VAL : decompress.c
• GET_UCHAR : decompress.c
• get_word() : cvrin.c , espresso.h
• getCellArea() : place_base.c , place_base.h
• getCube() : cuddSat.c
• getDependencies() : abcBm.c , abcSaucy.c
• getDependenciesDummy() : abcSaucy.c
• getenv() : util_old.h
• GETINPUT : espresso.h
• getLargest() : cuddSat.c
• getLevelKeys() : cuddExact.c
• getMatrix() : cuddExact.c
• getMaxBinomial() : cuddExact.c
• getNetBBox() : place_base.c , place_base.h
• getNetWirelength() : place_base.c , place_base.h
• GETOUTPUT : espresso.h
• getPath() : cuddSat.c
• getPLA() : misc/espresso/main.c
• getPoIndex() : liveness.c , liveness_sim.c
• GETSET : espresso.h
• getShortest() : cuddSat.c
• GetSingleOutputFunction() : casCore.c
• GetSingleOutputFunctionRemapped() : casCore.c
• GetSingleOutputFunctionRemappedNewDD() : casCore.c
• getSoftDataLimit : util_hack.h , util_old.h
• getTotalWirelength() : place_base.c , place_base.h
• getVarName() : ltl_parser.c
• getVecOfVecFairness() : kliveness.c
• getVertexName() : abcSaucy.c
• GEXPAND_TIME : espresso.h
• GF2_DIM : crc32.c
• gf2_matrix_square() : crc32.c
• gf2_matrix_times() : crc32.c
• Gia_AigerCollectLiterals() : giaAiger.c
• Gia_AigerRead() : gia.h , giaAiger.c
• Gia_AigerReadDiffValue() : giaAigerExt.c
• Gia_AigerReadEquivClasses() : giaAigerExt.c
• Gia_AigerReadFromMemory() : gia.h , giaAiger.c
• Gia_AigerReadInt() : gia.h
• Gia_AigerReadLiterals() : giaAiger.c
• Gia_AigerReadMapping() : giaAigerExt.c
• Gia_AigerReadMappingDoc() : giaAigerExt.c
• Gia_AigerReadMappingSimple() : giaAigerExt.c
• Gia_AigerReadPacking() : giaAigerExt.c
• Gia_AigerReadUnsigned() : gia.h
• Gia_AigerWrite() : gia.h , giaAiger.c
• Gia_AigerWriteDiffValue() : giaAigerExt.c
• Gia_AigerWriteInt() : gia.h
• Gia_AigerWriteIntoMemoryStr() : gia.h , giaAiger.c
• Gia_AigerWriteIntoMemoryStrPart() : gia.h , giaAiger.c
• Gia_AigerWriteLiterals() : giaAiger.c
• Gia_AigerWriteMapping() : giaAigerExt.c
• Gia_AigerWriteMappingDoc() : giaAigerExt.c
• Gia_AigerWriteMappingInt() : giaAigerExt.c
• Gia_AigerWriteMappingSimple() : giaAigerExt.c
• Gia_AigerWriteSimple() : gia.h , giaAiger.c
• Gia_AigerWriteUnsigned() : gia.h
• Gia_AigerWriteUnsignedBuffer() : gia.h
• Gia_AigerWriteUnsignedFile() : gia.h
• Gia_CellForEachFanin : gia.h
• Gia_ClassForEachObj : gia.h
• Gia_ClassForEachObj1 : gia.h
• Gia_ClassIsPair() : gia.h
• Gia_ClassUndoPair() : gia.h
• Gia_CollectClassMembers() : giaGiarf.c
• Gia_CollectRelatedClasses() : giaGiarf.c
• Gia_CollectSuper() : giaEnable.c
• Gia_CollectSuper_rec() : giaEnable.c
• Gia_CommandSpecI() : giaEquiv.c
• Gia_ComputeEquivalences() : giaGiarf.c , giaHcd.c
• Gia_ComputeEquivalencesLevel() : giaGiarf.c
• Gia_CreateHeader() : utilBridge.c
• Gia_DumpAiger() : gia.h , giaAiger.c
• Gia_FanoutCreate() : giaFanout.c
• Gia_FanoutNext() : giaFanout.c
• Gia_FanoutObj() : giaFanout.c
• Gia_FanoutPrev() : giaFanout.c
• Gia_FileFixName() : giaAiger.c
• Gia_FileNameGeneric() : giaAiger.c
• Gia_FileNameGenericAppend() : gia.h , giaUtil.c
• Gia_FileSize() : gia.h , giaAiger.c
• Gia_FileWriteBufferSize() : giaAiger.c
• Gia_FlaConvertToGla() : abs.h , absUtil.c
• Gia_FlaConvertToGla_rec() : absUtil.c
• Gia_FormStrCount() : bmcFault.c
• Gia_FormStrTransform() : bmcFault.c
• Gia_Ga2SendAbsracted() : absGla.c
• Gia_Ga2SendCancel() : absGla.c
• Gia_GenerateReducedLevel() : giaGiarf.c
• Gia_GetFakeNames() : giaClp.c
• Gia_GiarfInsertPattern() : giaGiarf.c
• Gia_GiarfPrintClasses() : giaGiarf.c
• Gia_GiarfStorePattern() : giaGiarf.c
• Gia_GiarfStorePatternTry() : giaGiarf.c
• Gia_GlaAbsCount() : absGlaOld.c
• Gia_GlaAddOneSlice() : absGlaOld.c
• Gia_GlaAddTimeFrame() : absGlaOld.c
• Gia_GlaAddToAbs() : absGlaOld.c
• Gia_GlaAddToCounters() : absGlaOld.c
• Gia_GlaCollectAssigned() : absDup.c
• Gia_GlaConvertToFla() : abs.h , absUtil.c
• Gia_GlaCountFlops() : abs.h , absUtil.c
• Gia_GlaCountNodes() : abs.h , absUtil.c
• Gia_GlaDumpAbsracted() : absGlaOld.c
• Gia_GlaPrepareCexAndMap() : absGlaOld.c
• Gia_GlaProveAbsracted() : abs.h , absPth.c
• Gia_GlaProveCancel() : abs.h , absPth.c
• Gia_GlaProveCheck() : abs.h , absPth.c
• Gia_GlaSendAbsracted() : absGlaOld.c
• Gia_GlaSendCancel() : absGlaOld.c
• Gia_IffObjCount() : giaIff.c
• Gia_IffObjTimeOne() : giaIff.c
• Gia_IffObjTimeThree() : giaIff.c
• Gia_IffObjTimeTwo() : giaIff.c
• Gia_Int2Ptr() : giaEra2.c
• Gia_IsComplement() : gia.h
• Gia_Iso2Man_t : giaIso2.c
• Gia_Iso2ManCheckIsoClasses() : giaIso2.c
• Gia_Iso2ManCheckIsoClassesSkip() : giaIso2.c
• Gia_Iso2ManCheckIsoClassOne() : giaIso2.c
• Gia_Iso2ManCheckIsoClassOneSkip() : giaIso2.c
• Gia_Iso2ManCheckIsoPair() : giaIso2.c
• Gia_Iso2ManCollectOrder() : giaIso2.c
• Gia_Iso2ManCollectOrder2() : giaIso2.c
• Gia_Iso2ManCollectOrder2_rec() : giaIso2.c
• Gia_Iso2ManCollectOrder_rec() : giaIso2.c
• Gia_Iso2ManCollectTies() : giaIso2.c
• Gia_Iso2ManCone() : giaIso2.c
• Gia_Iso2ManCone_rec() : giaIso2.c
• Gia_Iso2ManDerivePoClasses() : giaIso2.c
• Gia_Iso2ManPerform() : giaIso2.c
• Gia_Iso2ManPrepare() : giaIso2.c
• Gia_Iso2ManPrint() : giaIso2.c
• Gia_Iso2ManPropagate() : giaIso2.c
• Gia_Iso2ManStart() : giaIso2.c
• Gia_Iso2ManStop() : giaIso2.c
• Gia_Iso2ManUniqify() : giaIso2.c
• Gia_Iso2ManUpdate() : giaIso2.c
• Gia_Iso3Compute() : giaIso3.c
• Gia_Iso3ComputeEdge() : giaIso3.c
• Gia_Iso3Init() : giaIso3.c
• Gia_Iso3Node() : giaIso3.c
• Gia_Iso3Save() : giaIso3.c
• Gia_Iso3Test() : giaIso3.c
• Gia_Iso3Unique() : giaIso3.c
• Gia_IsoAssignOneClass() : giaIso.c
• Gia_IsoAssignOneClass2() : giaIso.c
• Gia_IsoAssignOneClass3() : giaIso.c
• Gia_IsoAssignUnique() : giaIso.c
• Gia_IsoCollectCosClasses() : giaIso.c
• Gia_IsoDeriveEquivPos() : giaIso.c
• Gia_IsoGetItem() : giaIso.c
• Gia_IsoGetValue() : giaIso.c
• Gia_IsoMan_t : giaIso.c
• Gia_IsoManStart() : giaIso.c
• Gia_IsoManStop() : giaIso.c
• Gia_IsoManTransferUnique() : giaIso.c
• Gia_IsoPrepare() : giaIso.c
• Gia_IsoPrint() : giaIso.c
• Gia_IsoPrintClasses() : giaIso.c
• Gia_IsoRecognizeMuxes() : giaIso.c
• Gia_IsoReportTopmost() : giaIso.c
• Gia_IsoSetItem() : giaIso.c
• Gia_IsoSetValue() : giaIso.c
• Gia_IsoSimulate() : giaIso.c
• Gia_IsoSimulateBack() : giaIso.c
• Gia_IsoSort() : giaIso.c
• Gia_IsoTest() : giaIso.c
• Gia_IsoTestGenPerm() : giaIso.c
• Gia_IsoTestOld() : giaIso.c
• Gia_IsoUpdate() : giaIso.c
• Gia_IsoUpdateValue() : giaIso.c
• Gia_IterTryImprove() : absIter.c
• GIA_LIMIT : giaSat.c
• Gia_Lit2Obj() : gia.h
• Gia_LutDelayTraceSortPins() : giaSpeedup.c
• Gia_LutDelayTraceTCEdges() : giaSpeedup.c
• Gia_LutForEachFanin : gia.h
• Gia_LutForEachFaninObj : gia.h
• Gia_LutWhereIsPin() : giaSpeedup.c
• Gia_Man_t : gia.h
• Gia_ManAbsSetDefaultParams() : abs.h , absOldRef.c
• Gia_ManAbstraction() : giaAig.h
• Gia_ManAddClausesMux() : giaSweeper.c , sscSat.c
• Gia_ManAddClausesSuper() : giaSweeper.c , sscSat.c
• Gia_ManAddDivisors() : giaResub.c
• Gia_ManAddDom() : giaMffc.c , absRpm.c
• Gia_ManAddNextEntry_rec() : giaEquiv.c
• Gia_ManAddStrash() : giaHash.c
• Gia_ManAddTwo() : bmcCexMin2.c
• Gia_ManAigPrintPiLevels() : giaScript.c
• Gia_ManAigSyn2() : gia.h , giaScript.c
• Gia_ManAigSyn3() : gia.h , giaScript.c
• Gia_ManAigSyn4() : gia.h , giaScript.c
• Gia_ManAigSynch2() : giaScript.c
• Gia_ManAigSynch2Choices() : giaScript.c
• Gia_ManAnalyzeResult() : giaEra.c
• Gia_ManAndNotBufNum() : gia.h
• Gia_ManAndNum() : gia.h
• Gia_ManAnnotateUnrolling() : bmcCexMin2.c
• Gia_ManAppendAnd() : gia.h
• Gia_ManAppendAnd2() : gia.h
• Gia_ManAppendBuf() : gia.h
• Gia_ManAppendCi() : gia.h
• Gia_ManAppendCo() : gia.h
• Gia_ManAppendMaj() : gia.h
• Gia_ManAppendMux() : gia.h
• Gia_ManAppendMuxReal() : gia.h
• Gia_ManAppendObj() : gia.h
• Gia_ManAppendOr() : gia.h
• Gia_ManAppendXor() : gia.h
• Gia_ManAppendXorReal() : gia.h
• Gia_ManAre_t : giaEra2.c
• Gia_ManAreaBalance() : gia.h , giaBalAig.c
• Gia_ManAreCompress() : giaEra2.c
• Gia_ManAreCreate() : giaEra2.c
• Gia_ManAreCreateObj() : giaEra2.c
• Gia_ManAreCreateSta() : giaEra2.c
• Gia_ManAreCreateStaInit() : giaEra2.c
• Gia_ManAreCreateStaNew() : giaEra2.c
• Gia_ManAreCubeAddToList() : giaEra2.c
• Gia_ManAreCubeAddToTree_rec() : giaEra2.c
• Gia_ManAreCubeCheckList() : giaEra2.c
• Gia_ManAreCubeCheckTree() : giaEra2.c
• Gia_ManAreCubeCheckTree_rec() : giaEra2.c
• Gia_ManAreCubeCollectList() : giaEra2.c
• Gia_ManAreCubeCollectTree_rec() : giaEra2.c
• Gia_ManAreCubeProcess() : giaEra2.c
• Gia_ManAreDepth() : giaEra2.c
• Gia_ManAreDeriveCex() : giaEra2.c
• Gia_ManAreDeriveCexSat() : giaEra2.c
• Gia_ManAreDeriveCexSatStart() : giaEra2.c
• Gia_ManAreDeriveCexSatStop() : giaEra2.c
• Gia_ManAreDeriveNexts() : giaEra2.c
• Gia_ManAreDeriveNexts_rec() : giaEra2.c
• Gia_ManAreFindBestVar() : giaEra2.c
• Gia_ManAreForEachCubeList : giaEra2.c
• Gia_ManAreForEachCubeList2 : giaEra2.c
• Gia_ManAreForEachCubeStore : giaEra2.c
• Gia_ManAreForEachCubeVec : giaEra2.c
• Gia_ManAreFree() : giaEra2.c
• Gia_ManAreListCountListUsed() : giaEra2.c
• Gia_ManAreListCountUsed() : giaEra2.c
• Gia_ManAreListCountUsed_rec() : giaEra2.c
• Gia_ManAreMostUsedPi() : giaEra2.c
• Gia_ManAreMostUsedPi_rec() : giaEra2.c
• Gia_ManAreObj() : giaEra2.c
• Gia_ManAreObjInt() : giaEra2.c
• Gia_ManAreObjLast() : giaEra2.c
• Gia_ManArePerform() : giaEra2.c
• Gia_ManArePrintCube() : giaEra2.c
• Gia_ManArePrintListUsed() : giaEra2.c
• Gia_ManArePrintReport() : giaEra2.c
• Gia_ManArePrintUsed() : giaEra2.c
• Gia_ManArePrintUsed_rec() : giaEra2.c
• Gia_ManAreRebalance() : giaEra2.c
• Gia_ManAreRycycleSta() : giaEra2.c
• Gia_ManAreSta() : giaEra2.c
• Gia_ManAreStaInt() : giaEra2.c
• Gia_ManAreStaLast() : giaEra2.c
• Gia_ManAssignCodes() : giaStg.c
• Gia_ManAssignNumbers() : giaFx.c
• Gia_ManBalance() : gia.h , giaBalAig.c
• Gia_ManBalance_rec() : giaBalAig.c , giaBalLut.c
• Gia_ManBalanceGate() : giaBalAig.c , giaBalLut.c
• Gia_ManBalanceInt() : giaBalAig.c , giaBalLut.c
• Gia_ManBalanceLut() : giaBalLut.c
• Gia_ManBmc_t : bmcBmc3.c
• Gia_ManBmcAddCnf() : bmcBmcAnd.c
• Gia_ManBmcAddCnfNew() : bmcBmcAnd.c
• Gia_ManBmcAddCnfNew_rec() : bmcBmcAnd.c
• Gia_ManBmcAddCone() : bmcBmcAnd.c
• Gia_ManBmcAddCone_rec() : bmcBmcAnd.c
• Gia_ManBmcAssignVarIds() : bmcBmcAnd.c
• Gia_ManBmcCexGen() : bmcBmcAnd.c
• Gia_ManBmcCheckOutputs() : bmcBmcAnd.c
• Gia_ManBmcDupCone() : bmcBmcAnd.c
• Gia_ManBmcFindFirst() : bmcBmcAnd.c
• Gia_ManBmciTest() : bmcBmci.c
• Gia_ManBmcPerform() : bmc.h , bmcBmcAnd.c
• Gia_ManBmcPerform_old_cnf() : bmcBmcAnd.c
• Gia_ManBmcPerform_Unr() : bmcBmcAnd.c
• Gia_ManBmcPerformInt() : bmcBmcAnd.c
• Gia_ManBmcUnroll() : bmcBmcAnd.c
• Gia_ManBoxCiNum() : gia.h , giaTim.c
• Gia_ManBoxCoNum() : gia.h , giaTim.c
• Gia_ManBoxNum() : gia.h , giaTim.c
• Gia_ManBufNum() : gia.h
• Gia_ManBuildFromMini() : giaIf.c
• Gia_ManBuildFromMiniInt() : giaIf.c
• Gia_ManBuildGig() : giaGig.c
• Gia_ManBuildGig2() : giaGig.c
• Gia_ManCandNum() : gia.h
• Gia_ManCexAbstractionRefine() : abs.h , absOldRef.c
• Gia_ManCexExtendToIncludeAllObjects() : gia.h , giaCex.c
• Gia_ManCexExtendToIncludeCurrentStates() : gia.h , giaCex.c
• Gia_ManCexMin() : bmcCexMin2.c
• Gia_ManCexRemap() : absOut.c
• Gia_ManCheckCex() : absOut.c
• Gia_ManCheckCoPhase() : gia.h , giaUtil.c
• Gia_ManCheckFalse() : giaFalse.c
• Gia_ManCheckFalse2() : giaFalse.c
• Gia_ManCheckFalseAll() : giaFalse.c
• Gia_ManCheckFalseOne() : giaFalse.c
• Gia_ManCheckIntegrityWithBoxes() : gia.h , giaSweep.c
• Gia_ManCheckMark0() : gia.h , giaUtil.c
• Gia_ManCheckMark1() : gia.h , giaUtil.c
• Gia_ManCheckOne() : giaFalse.c
• Gia_ManCheckPOs() : giaEra2.c
• Gia_ManCheckPos() : giaSim.c
• Gia_ManCheckPOs_rec() : giaEra2.c
• Gia_ManCheckPOstatus() : giaEra2.c
• Gia_ManCheckRefinements() : cecChoice.c , cecCorr.c
• Gia_ManCheckTopoOrder() : gia.h , giaEquiv.c
• Gia_ManCheckTopoOrder_rec() : giaEquiv.c
• Gia_ManChoiceLevel() : giaIf.c
• Gia_ManChoiceLevel_rec() : giaIf.c
• Gia_ManChoiceMiter() : gia.h , giaDup.c
• Gia_ManChoiceMiter_rec() : giaDup.c
• Gia_ManChoiceNum() : gia.h
• Gia_ManCi() : gia.h
• Gia_ManCiIdToId() : gia.h
• Gia_ManCiLit() : gia.h
• Gia_ManCiNum() : gia.h
• Gia_ManClasses2Flops() : absOldRef.c
• Gia_ManCleanCopyArray() : gia.h
• Gia_ManCleanLevels() : gia.h , giaUtil.c
• Gia_ManCleanMark0() : gia.h , giaUtil.c
• Gia_ManCleanMark01() : gia.h , giaUtil.c
• Gia_ManCleanMark1() : gia.h , giaUtil.c
• Gia_ManCleanPhase() : gia.h , giaUtil.c
• Gia_ManCleanTruth() : gia.h , giaUtil.c
• Gia_ManCleanup() : gia.h , giaScl.c
• Gia_ManCleanupOutputs() : gia.h , giaScl.c
• Gia_ManCleanupRemap() : giaTim.c
• Gia_ManCleanValue() : giaUtil.c , gia.h
• Gia_ManClockDomainNum() : gia.h , giaTim.c
• Gia_ManCnfNodeAddToSolver() : giaSweeper.c
• Gia_ManCo() : gia.h
• Gia_ManCofactorAig() : giaAig.c
• Gia_ManCofExtendSolver() : giaCCof.c
• Gia_ManCofGetReachable() : giaCCof.c
• Gia_ManCofOneDerive() : giaCCof.c
• Gia_ManCofOneDerive_rec() : giaCCof.c
• Gia_ManCofTest() : giaCCof.c
• Gia_ManCofVars() : giaCof.c
• Gia_ManCoIdToId() : gia.h
• Gia_ManCollapse() : giaClp.c
• Gia_ManCollapseDeref() : giaClp.c
• Gia_ManCollapseTest() : giaClp.c
• Gia_ManCollapseTestTest() : giaClp.c
• Gia_ManCollectAnds() : gia.h , giaDfs.c
• Gia_ManCollectAnds_rec() : giaDfs.c
• Gia_ManCollectBugTrace() : giaEra.c
• Gia_ManCollectCis() : gia.h , giaDfs.c
• Gia_ManCollectCis_rec() : giaDfs.c
• Gia_ManCollectDoms() : absRpm.c
• Gia_ManCollectNodesCis() : gia.h , giaDfs.c
• Gia_ManCollectNodesCis_rec() : giaDfs.c
• Gia_ManCollectObjs_rec() : giaUtil.c
• Gia_ManCollectOneChain() : giaFadds.c
• Gia_ManCollectPath() : giaFalse.c
• Gia_ManCollectPath_rec() : giaFalse.c
• Gia_ManCollectPoIds() : gia.h , giaUtil.c
• Gia_ManCollectReachable() : giaEra.c
• Gia_ManCollectSeq() : giaDfs.c
• Gia_ManCollectSeq_rec() : giaDfs.c
• Gia_ManCollectSeqTest() : giaDfs.c
• Gia_ManCollectSuper() : giaSweeper.c
• Gia_ManCollectSuper_rec() : giaSweeper.c
• Gia_ManCollectTest() : giaDfs.c
• Gia_ManCollectTopmost() : giaFadds.c
• Gia_ManCollectTruthTables() : giaFadds.c
• Gia_ManCombMarkUsed() : gia.h , giaScl.c
• Gia_ManCombMarkUsed_rec() : giaScl.c
• Gia_ManCompare() : gia.h , giaUtil.c
• Gia_ManCompareWithBest() : abc.c
• Gia_ManCompress2() : giaAig.c , giaAig.h
• Gia_ManComputeCarryOuts() : giaSweep.c
• Gia_ManComputeDoms() : giaMffc.c , absRpm.c
• Gia_ManComputeDomsTry() : giaMffc.c
• Gia_ManComputeMffcs() : giaResub.c
• Gia_ManComputeOverlap() : giaIf.c
• Gia_ManComputeOverlap2() : giaIf.c
• Gia_ManComputeOverlap2One() : giaIf.c
• Gia_ManComputeOverlap2One_rec() : giaIf.c
• Gia_ManComputeOverlapOne() : giaIf.c
• Gia_ManComputeOverlapOne_rec() : giaIf.c
• Gia_ManComputePiDoms() : absRpm.c
• Gia_ManComputePoTruthTables() : giaUtil.c
• Gia_ManComputeSlacks() : giaUtil.c
• Gia_ManComputeSwitching() : gia.h , giaSwitch.c
• Gia_ManComputeSwitchProbs() : gia.h , giaSwitch.c
• Gia_ManComputeTruths() : giaFx.c
• Gia_ManConeMark() : giaCone.c
• Gia_ManConeMark_rec() : giaCone.c
• Gia_ManConeSize() : gia.h , giaDfs.c
• Gia_ManConeSize_rec() : giaDfs.c
• Gia_ManConst0() : gia.h
• Gia_ManConst0Lit() : gia.h
• Gia_ManConst1() : gia.h
• Gia_ManConst1Lit() : gia.h
• Gia_ManConstrNum() : gia.h
• Gia_ManCoNum() : gia.h
• Gia_ManConvertAigToTruth() : gia.h , giaBidec.c
• Gia_ManConvertAigToTruth_rec() : giaBidec.c
• Gia_ManCorrCreateRemapping() : cecCorr.c
• Gia_ManCorrPerformRemapping() : cecCorr.c
• Gia_ManCorrReduce() : cecCorr.c
• Gia_ManCorrReduce_rec() : cecCorr.c
• Gia_ManCorrRemapSimInfo() : cecCorr.c
• Gia_ManCorrSpecReal() : cecCorr.c
• Gia_ManCorrSpecReduce() : cecCorr.c
• Gia_ManCorrSpecReduce_rec() : cecCorr.c
• Gia_ManCorrSpecReduceInit() : cecCorr.c
• Gia_ManCountChoiceNodes() : gia.h , giaEquiv.c
• Gia_ManCountChoices() : gia.h , giaEquiv.c
• Gia_ManCountConst0Pos() : bmcMulti.c
• Gia_ManCountConst0PosGia() : bmcMulti.c
• Gia_ManCountDepth() : giaEra.c
• Gia_ManCountDupLut() : giaIf.c
• Gia_ManCounterExampleValueLookup() : gia.h , giaCex.c
• Gia_ManCounterExampleValueStart() : gia.h , giaCex.c
• Gia_ManCounterExampleValueStop() : gia.h , giaCex.c
• Gia_ManCounterExampleValueTest() : giaCex.c
• Gia_ManCountFanoutlessFlops() : absRpm.c
• Gia_ManCountFlops() : giaCone.c
• Gia_ManCountMinterms() : giaEra2.c
• Gia_ManCountMintermsInCube() : giaEra2.c
• Gia_ManCountMuxXor() : gia.h , giaMuxes.c
• Gia_ManCountNonConst0() : bmcChain.c
• Gia_ManCountPisNodes() : absRpm.c
• Gia_ManCountPisNodes_rec() : absRpm.c
• Gia_ManCreateGate() : giaBalAig.c , giaBalLut.c
• Gia_ManCreateMap() : giaFadds.c
• Gia_ManCreateMuxRefs() : gia.h , giaUtil.c
• Gia_ManCreateOrGate() : giaStg.c
• Gia_ManCreateRefs() : gia.h , giaUtil.c
• Gia_ManCreateResubMiter() : mfsGia.c
• Gia_ManCreateUnate() : bmcCexMin2.c
• Gia_ManCreateValueRefs() : gia.h , giaUtil.c
• Gia_ManCrossCut() : gia.h , giaUtil.c
• Gia_ManCrossCutSimple() : giaFront.c
• Gia_ManCycle() : giaDup.c
• Gia_ManDelayTraceLut() : gia.h , giaSpeedup.c
• Gia_ManDelayTraceLutPrint() : gia.h , giaSpeedup.c
• Gia_ManDeriveCiTfo() : giaEra2.c
• Gia_ManDeriveCiTfo_rec() : giaEra2.c
• Gia_ManDeriveCiTfoOne() : giaEra2.c
• Gia_ManDeriveDup() : bmcFault.c
• Gia_ManDeriveNexts() : gia.h , giaEquiv.c
• Gia_ManDeriveReprs() : gia.h , giaEquiv.c
• Gia_ManDeriveSatSolver() : bmcChain.c
• Gia_ManDeriveSigns() : giaCone.c
• Gia_ManDetectFullAdders() : giaFadds.c
• Gia_ManDetectSeqSignals() : gia.h , giaEnable.c
• Gia_ManDetectSeqSignalsWithFanout() : giaEnable.c
• Gia_ManDfsForCrossCut() : giaUtil.c
• Gia_ManDfsForCrossCut_rec() : giaUtil.c
• Gia_ManDomDerive() : giaMffc.c
• Gia_ManDomDerive_rec() : giaMffc.c
• Gia_ManDropContained() : sscUtil.c
• Gia_ManDumpTests() : bmcFault.c
• Gia_ManDumpUntests() : bmcFault.c
• Gia_ManDup() : gia.h , giaDup.c
• Gia_ManDupAbsFlops() : abs.h , absDup.c
• Gia_ManDupAbsFlops_rec() : absDup.c
• Gia_ManDupAbsGates() : abs.h , absDup.c
• Gia_ManDupAbsGates_rec() : absDup.c
• Gia_ManDupAndOr() : gia.h , giaDup.c
• Gia_ManDupAppend() : gia.h , giaDup.c
• Gia_ManDupAppendCones() : gia.h , giaDup.c
• Gia_ManDupAppendNew() : gia.h , giaDup.c
• Gia_ManDupAppendShare() : gia.h , giaDup.c
• Gia_ManDupCof() : gia.h , giaCof.c
• Gia_ManDupCofactorObj() : gia.h , giaDup.c
• Gia_ManDupCofactorVar() : gia.h , giaDup.c
• Gia_ManDupCofactorVar_rec() : giaDup.c
• Gia_ManDupCofAll() : gia.h , giaCof.c
• Gia_ManDupCofAllInt() : gia.h , giaCof.c
• Gia_ManDupCofInt() : giaCof.c
• Gia_ManDupCollapse() : gia.h , giaTim.c
• Gia_ManDupCollapse_rec() : giaTim.c
• Gia_ManDupCones() : gia.h , giaDup.c
• Gia_ManDupCones_rec() : giaDup.c
• Gia_ManDupCycled() : gia.h , giaDup.c
• Gia_ManDupDemiter() : giaDup.c
• Gia_ManDupDfs() : gia.h , giaDup.c
• Gia_ManDupDfs2() : giaDup.c
• Gia_ManDupDfs2_rec() : giaDup.c
• Gia_ManDupDfs3_rec() : giaDup.c
• Gia_ManDupDfs_rec() : giaDup.c
• Gia_ManDupDfsCiMap() : gia.h , giaDup.c
• Gia_ManDupDfsClasses() : gia.h , giaDup.c
• Gia_ManDupDfsCone() : gia.h , giaDup.c
• Gia_ManDupDfsLitArray() : gia.h , giaDup.c
• Gia_ManDupDfsNode() : gia.h , giaDup.c
• Gia_ManDupDfsSkip() : gia.h , giaDup.c
• Gia_ManDupExist() : gia.h , giaDup.c
• Gia_ManDupExist2() : giaDup.c
• Gia_ManDupFadd() : giaFadds.c
• Gia_ManDupFf2In() : absRpmOld.c
• Gia_ManDupFf2In_rec() : absRpmOld.c
• Gia_ManDupFlip() : gia.h , giaDup.c
• Gia_ManDupFlopClass() : gia.h , giaDup.c
• Gia_ManDupFromBarBufs() : giaScript.c
• Gia_ManDupFromVecs() : gia.h , giaDup.c
• Gia_ManDupIn2Ff() : absRpmOld.c
• Gia_ManDupLastPis() : gia.h , giaDup.c
• Gia_ManDupLevelized() : gia.h , giaDup.c
• Gia_ManDupMapped() : absGlaOld.c
• Gia_ManDupMapped_rec() : absGlaOld.c
• Gia_ManDupMarked() : gia.h , giaDup.c
• Gia_ManDupMuxes() : gia.h , giaMuxes.c
• Gia_ManDupMuxesNoHash() : giaStr.c
• Gia_ManDupMuxesTest() : giaMuxes.c
• Gia_ManDupNoMuxes() : gia.h , giaMuxes.c
• Gia_ManDupNormalize() : gia.h , giaTim.c
• Gia_ManDupOneHot() : gia.h , giaDup.c
• Gia_ManDupOntop() : gia.h , giaDup.c
• Gia_ManDupOrderAiger() : gia.h , giaDup.c
• Gia_ManDupOrderDfs() : gia.h , giaDup.c
• Gia_ManDupOrderDfs_rec() : giaDup.c
• Gia_ManDupOrderDfsChoices() : gia.h , giaDup.c
• Gia_ManDupOrderDfsChoices_rec() : giaDup.c
• Gia_ManDupOrderDfsReverse() : gia.h , giaDup.c
• Gia_ManDupOutputGroup() : gia.h , giaDup.c
• Gia_ManDupOutputVec() : gia.h , giaDup.c
• Gia_ManDupOuts() : giaDup.c
• Gia_ManDupPerm() : gia.h , giaDup.c
• Gia_ManDupPermFlop() : gia.h , giaDup.c
• Gia_ManDupPermFlopGap() : gia.h , giaDup.c
• Gia_ManDupPosAndPropagateInit() : bmcChain.c
• Gia_ManDupRemapCis() : giaDup.c
• Gia_ManDupRemapCos() : giaDup.c
• Gia_ManDupRemapEquiv() : gia.h , giaDup.c
• Gia_ManDupRpm() : absRpm.c
• Gia_ManDupSelectedOutputs() : gia.h , giaDup.c
• Gia_ManDupSelf() : gia.h , giaDup.c
• Gia_ManDupSliced() : gia.h , giaDup.c
• Gia_ManDupSpreadFlop() : giaDup.c
• Gia_ManDupTimes() : gia.h , giaDup.c
• Gia_ManDupToBarBufs() : giaScript.c
• Gia_ManDupTopAnd() : gia.h , giaDup.c
• Gia_ManDupTopAnd_iter() : giaDup.c
• Gia_ManDupTrimmed() : gia.h , giaDup.c
• Gia_ManDupTrimmed2() : giaDup.c
• Gia_ManDupTrimmedNonZero() : giaDup.c
• Gia_ManDupUnnormalize() : gia.h , giaTim.c
• Gia_ManDupUnshuffleInputs() : gia.h , giaTim.c
• Gia_ManDupWithArtificalFaddBoxes() : giaFadds.c
• Gia_ManDupWithArtificalFaddBoxesTest() : giaFadds.c
• Gia_ManDupWithArtificialBoxes() : giaFadds.c
• Gia_ManDupWithAttributes() : gia.h , giaDup.c
• Gia_ManDupWithBoxes() : giaSweep.c
• Gia_ManDupWithConstr() : giaDup.c
• Gia_ManDupWithConstraints() : gia.h , giaDup.c
• Gia_ManDupWithConstrCollectAnd_rec() : giaDup.c
• Gia_ManDupWithFaddBoxes_rec() : giaFadds.c
• Gia_ManDupWithInit() : bmcChain.c
• Gia_ManDupWithNaturalBoxes() : giaFadds.c
• Gia_ManDupWithNewPo() : gia.h , giaDup.c
• Gia_ManDupZero() : gia.h , giaDup.c
• Gia_ManDupZeroUndc() : gia.h , giaDup.c
• Gia_ManEquivCheckLits() : giaEquiv.c
• Gia_ManEquivCountClasses() : gia.h , giaEquiv.c
• Gia_ManEquivCountLits() : gia.h , giaEquiv.c
• Gia_ManEquivCountLitsAll() : gia.h , giaEquiv.c
• Gia_ManEquivCountOne() : giaEquiv.c
• Gia_ManEquivDeriveReprs() : giaEquiv.c
• Gia_ManEquivFilter() : giaEquiv.c
• Gia_ManEquivFilterTest() : giaEquiv.c
• Gia_ManEquivFixOutputPairs() : gia.h , giaEquiv.c
• Gia_ManEquivImprove() : gia.h , giaEquiv.c
• Gia_ManEquivMark() : giaEquiv.c
• Gia_ManEquivPrintClasses() : gia.h , giaEquiv.c
• Gia_ManEquivPrintOne() : gia.h , giaEquiv.c
• Gia_ManEquivReduce() : gia.h , giaEquiv.c
• Gia_ManEquivReduce_rec() : giaEquiv.c
• Gia_ManEquivReduceAndRemap() : gia.h , giaEquiv.c
• Gia_ManEquivRemapDfs() : giaEquiv.c
• Gia_ManEquivRepr() : giaEquiv.c
• Gia_ManEquivSetColor_rec() : giaEquiv.c
• Gia_ManEquivSetColors() : gia.h , giaEquiv.c
• Gia_ManEquivStart() : giaGiarf.c
• Gia_ManEquivStop() : giaGiarf.c
• Gia_ManEquivToChoices() : gia.h , giaEquiv.c
• Gia_ManEquivToChoices_rec() : giaEquiv.c
• Gia_ManEquivTransform() : gia.h , giaEquiv.c
• Gia_ManEquivUpdatePointers() : giaEquiv.c
• Gia_ManEra_t : giaEra.c
• Gia_ManEraCreate() : giaEra.c
• Gia_ManEraCreateState() : giaEra.c
• Gia_ManEraData() : giaEra.c
• Gia_ManEraFree() : giaEra.c
• Gia_ManEraHashFind() : giaEra.c
• Gia_ManEraHashResize() : giaEra.c
• Gia_ManEraState() : giaEra.c
• Gia_ManEraStateHash() : giaEra.c
• Gia_ManEvaluateSwitching() : gia.h , giaSwitch.c
• Gia_ManExtract_rec() : giaSweeper.c
• Gia_ManExtractMfs() : giaMfs.c
• Gia_ManExtractWin() : giaBalMap.c
• Gia_ManExtractWindow() : gia.h , giaBalMap.c
• Gia_ManFactorNode() : giaClp.c , giaFx.c
• Gia_ManFalseRebuild() : giaFalse.c
• Gia_ManFalseRebuildOne() : giaFalse.c
• Gia_ManFalseRebuildPath() : giaFalse.c
• Gia_ManFanoutStart() : gia.h , giaFanout.c
• Gia_ManFanoutStop() : gia.h , giaFanout.c
• Gia_ManFaultAddOne() : bmcFault.c
• Gia_ManFaultAnalyze() : bmcFault.c
• Gia_ManFaultCofactor() : bmcFault.c
• Gia_ManFaultPrepare() : bmcFault.c
• Gia_ManFaultTest() : bmcFault.c
• Gia_ManFaultUnfold() : bmcFault.c
• Gia_ManFillValue() : gia.h , giaUtil.c
• Gia_ManFilterEquivsForSpeculation() : gia.h , giaEquiv.c
• Gia_ManFilterEquivsUsingLatches() : gia.h , giaEquiv.c
• Gia_ManFilterEquivsUsingParts() : gia.h , giaEquiv.c
• Gia_ManFindAnnotatedDelay() : giaFadds.c
• Gia_ManFindCaninicalOrder() : giaIso.c
• Gia_ManFindCaninicalOrder_rec() : giaIso.c
• Gia_ManFindChains() : giaFadds.c
• Gia_ManFindChains_rec() : giaFadds.c
• Gia_ManFindChainStart() : giaFadds.c
• Gia_ManFindEqualFlop() : giaTsim.c
• Gia_ManFindFailedPoCex() : gia.h , giaCex.c
• Gia_ManFindLatest() : giaBalMap.c
• Gia_ManFindMapping() : giaFadds.c
• Gia_ManFindPath() : giaFadds.c
• Gia_ManFindPivots() : giaCone.c
• Gia_ManFindPoPartition() : giaCone.c
• Gia_ManFindPoPartition2() : giaCone.c
• Gia_ManFindPoPartition3() : giaCone.c
• Gia_ManFindRepr_rec() : cecSynth.c
• Gia_ManFirstFanouts() : gia.h , giaUtil.c
• Gia_ManFlattenLogicPrepare() : abcHieGia.c
• Gia_ManFlipUnfold() : bmcFault.c
• Gia_ManFlipVerbose() : gia.h
• Gia_ManFlops2Classes() : absOldRef.c
• Gia_ManFOFUnfold() : bmcFault.c
• Gia_ManForEachAnd : gia.h
• Gia_ManForEachAndId : gia.h
• Gia_ManForEachAndReverse : gia.h
• Gia_ManForEachAndReverseId : gia.h
• Gia_ManForEachBuf : gia.h
• Gia_ManForEachBufId : gia.h
• Gia_ManForEachCand : gia.h
• Gia_ManForEachCell : gia.h
• Gia_ManForEachCi : gia.h
• Gia_ManForEachCiId : gia.h
• Gia_ManForEachCiReverse : gia.h
• Gia_ManForEachClass : gia.h
• Gia_ManForEachClassReverse : gia.h
• Gia_ManForEachCo : gia.h
• Gia_ManForEachCoDriver : gia.h
• Gia_ManForEachCoDriverId : gia.h
• Gia_ManForEachCoId : gia.h
• Gia_ManForEachConst : gia.h
• Gia_ManForEachCoReverse : gia.h
• Gia_ManForEachCoVec : gia.h
• Gia_ManForEachLut : gia.h
• Gia_ManForEachMux : gia.h
• Gia_ManForEachMuxId : gia.h
• Gia_ManForEachObj : gia.h
• Gia_ManForEachObj1 : gia.h
• Gia_ManForEachObjReverse : gia.h
• Gia_ManForEachObjReverse1 : gia.h
• Gia_ManForEachObjVec : gia.h
• Gia_ManForEachObjVecLit : gia.h
• Gia_ManForEachObjVecReverse : gia.h
• Gia_ManForEachPi : gia.h
• Gia_ManForEachPo : gia.h
• Gia_ManForEachRi : gia.h
• Gia_ManForEachRiRo : gia.h
• Gia_ManForEachRo : gia.h
• Gia_ManFormulaEndToken() : bmcFault.c
• Gia_ManFormulaUnfold() : bmcFault.c
• Gia_ManFra_t : giaFrames.c
• Gia_ManFraigCheckCis() : giaSweep.c
• Gia_ManFraigCreateGia() : giaSweep.c
• Gia_ManFraigMarkAnd() : giaSweep.c
• Gia_ManFraigMarkCis() : giaSweep.c
• Gia_ManFraigMarkCos() : giaSweep.c
• Gia_ManFraigReduceGia() : giaSweep.c
• Gia_ManFraigSelectReprs() : giaSweep.c
• Gia_ManFraigSweepPerform() : giaSweep.c
• Gia_ManFraigSweepSimple() : gia.h , giaSweep.c
• Gia_ManFrames() : gia.h , giaFrames.c
• Gia_ManFrames2() : giaFrames.c
• Gia_ManFramesInit() : giaFrames.c
• Gia_ManFramesInitSpecial() : gia.h , giaFrames.c
• Gia_ManFraSetDefaultParams() : gia.h , giaFrames.c
• Gia_ManFraStart() : giaFrames.c
• Gia_ManFraStop() : giaFrames.c
• Gia_ManFraSupports() : giaFrames.c
• Gia_ManFromAig() : giaAig.c , giaAig.h
• Gia_ManFromAig_rec() : giaAig.c
• Gia_ManFromAigChoices() : giaAig.c , giaAig.h
• Gia_ManFromAigChoices_rec() : giaAig.c
• Gia_ManFromAigSimple() : giaAig.c , giaAig.h
• Gia_ManFromAigSwitch() : giaAig.c , giaAig.h
• Gia_ManFromBridge() : utilBridge.c
• Gia_ManFromBridgeCex() : utilBridge.c
• Gia_ManFromBridgeHolds() : utilBridge.c
• Gia_ManFromBridgeReadBody() : utilBridge.c
• Gia_ManFromBridgeReadPackage() : utilBridge.c
• Gia_ManFromBridgeTest() : utilBridge.c
• Gia_ManFromBridgeUnknown() : utilBridge.c
• Gia_ManFromIfAig() : giaIf.c
• Gia_ManFromIfAig_rec() : giaIf.c
• Gia_ManFromIfLogic() : giaIf.c
• Gia_ManFromIfLogicCreateLut() : giaIf.c
• Gia_ManFromIfLogicCreateLutSpecial() : giaIf.c
• Gia_ManFromIfLogicFindCell() : giaIf.c
• Gia_ManFromIfLogicFindLut() : giaIf.c
• Gia_ManFromIfLogicNode() : giaIf.c
• Gia_ManFromMiniAig() : giaMini.c
• Gia_ManFront() : gia.h , giaFront.c
• Gia_ManFrontFindNext() : giaFront.c
• Gia_ManFrontTest() : gia.h , giaFront.c
• Gia_ManFrontTransform() : giaFront.c
• Gia_ManFxInsert() : giaFx.c
• Gia_ManFxRetrieve() : giaFx.c
• Gia_ManFxTopoOrder() : giaFx.c
• Gia_ManFxTopoOrder_rec() : giaFx.c
• Gia_ManGenerateCounter() : giaSim.c
• Gia_ManGenerateDelayTableFloat() : giaFadds.c
• Gia_ManGenerateExtraAig() : giaFadds.c
• Gia_ManGenerateTim() : giaFadds.c
• Gia_ManGetCex() : giaSweeper.c
• Gia_ManGetCiLevels() : gia.h , giaUtil.c
• Gia_ManGetDangling() : gia.h , giaUtil.c
• Gia_ManGetStateAndCheckCex() : absOut.c
• Gia_ManGetTestPatterns() : bmcFault.c
• Gia_ManGetTwo() : bmcCexMin2.c
• Gia_ManGigCount() : giaGig.c
• Gia_ManGigPrint() : giaGig.c
• Gia_ManGlaCollect() : abs.h , absDup.c
• Gia_ManGlaRefine() : absOut.c
• Gia_ManGnuplotShow() : cmd.c
• Gia_ManGraphToAig() : giaFx.c
• Gia_ManGroupProve() : giaUtil.c
• Gia_ManHasCellMapping() : gia.h
• Gia_ManHasChoices() : gia.h
• Gia_ManHasChoices_very_old() : giaUtil.c
• Gia_ManHasDangling() : gia.h , giaUtil.c
• Gia_ManHashAlloc() : gia.h , giaHash.c
• Gia_ManHashAnd() : gia.h , giaHash.c
• Gia_ManHashAndMulti() : gia.h , giaHash.c
• Gia_ManHashAndP() : giaHash.c
• Gia_ManHashAndTry() : gia.h , giaHash.c
• Gia_ManHashFind() : giaHash.c
• Gia_ManHashLookup() : gia.h , giaHash.c
• Gia_ManHashMaj() : gia.h , giaHash.c
• Gia_ManHashMux() : gia.h , giaHash.c
• Gia_ManHashMuxReal() : gia.h , giaHash.c
• Gia_ManHashOne() : giaHash.c
• Gia_ManHashOr() : gia.h , giaHash.c
• Gia_ManHashOutputs() : giaCone.c
• Gia_ManHashProfile() : gia.h , giaHash.c
• Gia_ManHashResize() : giaHash.c
• Gia_ManHashStart() : gia.h , giaHash.c
• Gia_ManHashStop() : gia.h , giaHash.c
• Gia_ManHashXor() : gia.h , giaHash.c
• Gia_ManHashXorReal() : gia.h , giaHash.c
• Gia_ManHasMapping() : gia.h
• Gia_ManHasNoEquivs() : giaEquiv.c
• Gia_ManHighlight_rec() : giaBalMap.c
• Gia_ManIdToCioId() : gia.h
• Gia_ManIffPerform() : giaIff.c
• Gia_ManIffSelect() : giaIff.c
• Gia_ManIffSelect_rec() : giaIff.c
• Gia_ManIffStart() : giaIff.c
• Gia_ManIffStop() : giaIff.c
• Gia_ManIffTest() : giaIff.c
• Gia_ManIllustrateBoxes() : giaFadds.c
• Gia_ManIncrementTravId() : gia.h , giaUtil.c
• Gia_ManInseFindStarting() : bmcInse.c
• Gia_ManInseHighestScore() : bmcInse.c
• Gia_ManInseInit() : bmcInse.c
• Gia_ManInsePerform() : bmcInse.c
• Gia_ManInsertMfs() : giaMfs.c
• Gia_ManInsertOne() : abcHieGia.c
• Gia_ManInsertOne_rec() : abcHieGia.c
• Gia_ManInsertState() : giaEra.c
• Gia_ManInsertWin() : giaBalMap.c
• Gia_ManInseSimulate() : bmcInse.c
• Gia_ManInseSimulateObj() : bmcInse.c
• Gia_ManInseTest() : bmcInse.c
• Gia_ManInterTest() : satSolver2i.c
• Gia_ManInvertConstraints() : gia.h , giaUtil.c
• Gia_ManInvertPos() : gia.h , giaUtil.c
• Gia_ManIsConst0Lit() : gia.h
• Gia_ManIsConst1Lit() : gia.h
• Gia_ManIsConstLit() : gia.h
• Gia_ManIsNormalized() : gia.h , giaTim.c
• Gia_ManIsoCanonicize() : gia.h , giaIso.c
• Gia_ManIsoCopy() : cecIso.c
• Gia_ManIsoEqual() : cecIso.c
• Gia_ManIsoExtractClasses() : cecIso.c
• Gia_ManIsoFindString() : giaIso.c
• Gia_ManIsoHashKey() : cecIso.c
• Gia_ManIsoMatchNodes() : cecIso.c
• Gia_ManIsoRandom() : cecIso.c
• Gia_ManIsoReduce() : gia.h , giaIso.c
• Gia_ManIsoReduce2() : gia.h , giaIso2.c
• Gia_ManIsoSimulate() : cecIso.c
• Gia_ManIsoTableAdd() : cecIso.c
• Gia_ManIsSeqWithBoxes() : gia.h , giaTim.c
• Gia_ManIteratePaths() : giaFadds.c
• Gia_ManLevelAve() : giaUtil.c
• Gia_ManLevelize() : gia.h , giaDfs.c
• Gia_ManLevelNum() : gia.h , giaUtil.c
• Gia_ManLevelWithBoxes() : gia.h , giaTim.c
• Gia_ManLevelWithBoxes_rec() : giaTim.c
• Gia_ManLoadValue() : gia.h , giaUtil.c
• Gia_ManLutBalance() : giaStr.c
• Gia_ManLutFaninCount() : gia.h , giaIf.c
• Gia_ManLutLevel() : gia.h , giaIf.c
• Gia_ManLutLevelWithBoxes() : gia.h , giaTim.c
• Gia_ManLutLevelWithBoxes_rec() : giaTim.c
• Gia_ManLutNum() : gia.h , giaIf.c
• Gia_ManLutParams() : gia.h , giaIf.c
• Gia_ManLutSizeMax() : gia.h , giaIf.c
• Gia_ManMappingVerify() : gia.h , giaIf.c
• Gia_ManMappingVerify_rec() : giaIf.c
• Gia_ManMapShrink4() : gia.h , giaShrink.c
• Gia_ManMapShrink6() : gia.h , giaShrink6.c
• Gia_ManMarkAutonomous() : giaRetime.c
• Gia_ManMarkAutonomous_rec() : giaRetime.c
• Gia_ManMarkDangling() : gia.h , giaUtil.c
• Gia_ManMarkFanoutDrivers() : gia.h , giaUtil.c
• Gia_ManMarkSeqGiaWithBoxes() : giaSweep.c
• Gia_ManMarkSeqGiaWithBoxes_rec() : giaSweep.c
• Gia_ManMarkWithTravId_rec() : giaFadds.c
• Gia_ManMaxiPerform() : bmcMaxi.c
• Gia_ManMaxiTest() : bmcMaxi.c
• Gia_ManMaxiUnfold() : bmcMaxi.c
• Gia_ManMemory() : gia.h , giaMan.c
• Gia_ManMiter() : gia.h , giaDup.c
• Gia_ManMiter2() : gia.h , giaDup.c
• Gia_ManMiter_rec() : giaDup.c
• Gia_ManMultiProve() : bmcMulti.c
• Gia_ManMultiProveAig() : bmcMulti.c
• Gia_ManMultiProveSyn() : bmcMulti.c
• Gia_ManMultiReport() : bmcMulti.c
• Gia_ManMuxCompare() : giaMuxes.c
• Gia_ManMuxCountOne() : giaMuxes.c
• Gia_ManMuxNum() : gia.h
• Gia_ManMuxProfile() : giaMuxes.c
• Gia_ManMuxProfiling() : giaMuxes.c
• Gia_ManName() : gia.h
• Gia_ManNewRefine() : absOut.c
• Gia_ManNodeIfToGia() : giaIf.c
• Gia_ManNodeIfToGia_rec() : giaIf.c
• Gia_ManNonRegBoxNum() : gia.h , giaTim.c
• Gia_ManNormalizeEquivalences() : cecSynth.c
• Gia_ManObj() : gia.h
• Gia_ManObjAddToFrontier() : giaSweeper.c
• Gia_ManObjIsConst0() : gia.h
• Gia_ManObjNum() : gia.h
• Gia_ManOneHot() : giaDup.c
• Gia_ManOptimizeRing() : sscUtil.c
• Gia_ManOrderPios() : giaScript.c
• Gia_ManOrderReverse() : gia.h , giaDfs.c
• Gia_ManOrderWithBoxes() : giaTim.c
• Gia_ManOrderWithBoxes_rec() : giaTim.c
• Gia_ManOutputAsserted() : giaEra.c
• Gia_ManPatchCoDriver() : gia.h
• Gia_ManPerformBidec() : giaBidec.c , gia.h
• Gia_ManPerformDch() : giaAig.c , giaAig.h
• Gia_ManPerformDsdBalance() : gia.h , giaIf.c
• Gia_ManPerformDsdBalanceWin() : gia.h , giaBalMap.c
• Gia_ManPerformFlow() : giaScript.c
• Gia_ManPerformFlow2() : giaScript.c
• Gia_ManPerformFx() : gia.h , giaFx.c
• Gia_ManPerformGla() : absGla.c , abs.h
• Gia_ManPerformGlaOld() : abs.h , absGlaOld.c
• Gia_ManPerformLfMapping() : giaLf.c , gia.h
• Gia_ManPerformMap() : giaScript.c
• Gia_ManPerformMapping() : gia.h , giaIf.c
• Gia_ManPerformMappingInt() : giaIf.c
• Gia_ManPerformMfs() : giaMfs.c
• Gia_ManPerformOneIter() : giaEra.c
• Gia_ManPerformRound() : giaScript.c
• Gia_ManPerformSopBalance() : gia.h , giaIf.c
• Gia_ManPerformSopBalanceWin() : gia.h , giaBalMap.c
• Gia_ManPi() : gia.h
• Gia_ManPiNum() : gia.h
• Gia_ManPo() : gia.h
• Gia_ManPoIsConst0() : gia.h
• Gia_ManPoIsConst1() : gia.h
• Gia_ManPoIsToRemove() : giaDup.c
• Gia_ManPoMffcSize() : giaUtil.c
• Gia_ManPoNum() : gia.h
• Gia_ManPoXSim() : giaUtil.c
• Gia_ManPrepareWin() : giaBalMap.c
• Gia_ManPrint() : gia.h , giaUtil.c
• Gia_ManPrintChains() : giaFadds.c
• Gia_ManPrintChoiceStats() : giaMan.c
• Gia_ManPrintClasses_old() : giaMan.c
• Gia_ManPrintCo() : giaUtil.c , gia.h
• Gia_ManPrintCo_rec() : giaUtil.c
• Gia_ManPrintCollect2_rec() : giaUtil.c
• Gia_ManPrintCollect_rec() : giaUtil.c
• Gia_ManPrintCone() : gia.h , giaUtil.c
• Gia_ManPrintCone2() : gia.h , giaUtil.c
• Gia_ManPrintDelays() : giaGig.c
• Gia_ManPrintDivStats() : giaResub.c
• Gia_ManPrintFanio() : gia.h , giaCof.c
• Gia_ManPrintFlopClasses() : abs.h , absDup.c
• Gia_ManPrintGateClasses() : abs.h , absDup.c
• Gia_ManPrintGetMuxFanins() : giaIf.c
• Gia_ManPrintInitClasses() : giaMan.c
• Gia_ManPrintLutStats() : gia.h , giaIf.c
• Gia_ManPrintMappingStats() : gia.h , giaIf.c
• Gia_ManPrintMiterStatus() : gia.h , giaMan.c
• Gia_ManPrintMuxStats() : gia.h , giaMuxes.c
• Gia_ManPrintNodeProfile() : giaIf.c
• Gia_ManPrintNpnClasses() : gia.h , giaMan.c
• Gia_ManPrintObjClasses() : abs.h , absDup.c
• Gia_ManPrintOutputProb() : giaSwitch.c , gia.h
• Gia_ManPrintPackingStats() : gia.h , giaIf.c
• Gia_ManPrintPlacement() : giaMan.c
• Gia_ManPrintRepr() : giaDup.c
• Gia_ManPrintResults() : bmcFault.c
• Gia_ManPrintSignals() : giaEnable.c
• Gia_ManPrintStateEncoding() : giaStg.c
• Gia_ManPrintStats() : gia.h , giaMan.c
• Gia_ManPrintStatsClasses() : giaEquiv.c
• Gia_ManPrintStatsMiter() : giaMan.c , gia.h
• Gia_ManPrintStatsShort() : gia.h , giaMan.c
• Gia_ManPrintTents() : giaMan.c
• Gia_ManPrintTents_rec() : giaMan.c
• Gia_ManProcessOutputs() : bmcMulti.c
• Gia_ManRandom() : gia.h , giaUtil.c
• Gia_ManRandomInfo() : gia.h , giaUtil.c
• Gia_ManRandomW() : gia.h , giaUtil.c
• Gia_ManReadGig() : giaGig.c
• Gia_ManReadMiniAig() : gia.h , giaMini.c
• Gia_ManRealizeFormula() : bmcFault.c
• Gia_ManRealizeFormula_rec() : bmcFault.c
• Gia_ManRebuild() : giaClp.c
• Gia_ManRebuildIsop() : giaClp.c
• Gia_ManRebuildNode() : giaClp.c
• Gia_ManReduceConst() : gia.h , giaTsim.c
• Gia_ManReduceEquiv() : giaScl.c
• Gia_ManRefSetAndPropFanout_rec() : absGlaOld.c
• Gia_ManRegBoxNum() : gia.h , giaTim.c
• Gia_ManRegCreatePart() : cecSynth.c
• Gia_ManRegNum() : gia.h
• Gia_ManRehash() : gia.h , giaHash.c
• Gia_ManRemoveBadChoices() : giaEquiv.c
• Gia_ManRemoveEnables() : giaEnable.c , gia.h
• Gia_ManRemoveEnables2() : giaEnable.c
• Gia_ManReportImprovement() : gia.h , giaMan.c
• Gia_ManReportProgress() : bmcBmc3.c
• Gia_ManReprFromAigRepr() : giaAig.c , giaAig.h
• Gia_ManReprFromAigRepr2() : giaAig.h , giaAig.c
• Gia_ManReprToAigRepr() : giaAig.c , giaAig.h
• Gia_ManReprToAigRepr2() : giaAig.c , giaAig.h
• Gia_ManRequiredLevel() : gia.h , giaUtil.c
• Gia_ManResetRandom() : giaSim2.c , giaSim.c
• Gia_ManResubTest() : giaResub.c
• Gia_ManRetimeDup_rec() : giaRetime.c
• Gia_ManRetimeDupForward() : giaRetime.c
• Gia_ManRetimeForward() : gia.h , giaRetime.c
• Gia_ManRetimeForwardOne() : giaRetime.c
• Gia_ManReverseClasses() : abcTim.c
• Gia_ManReverseLevel() : gia.h , giaUtil.c
• Gia_ManRi() : gia.h
• Gia_ManRo() : gia.h
• Gia_ManSat_t : giaSat.c
• Gia_ManSatEnum() : giaQbf.c
• Gia_ManSatExperiment() : giaSat.c
• Gia_ManSatPartCollectSuper() : giaSat.c
• Gia_ManSatPartCount() : giaSat.c
• Gia_ManSatPartCountClauses() : giaSat.c
• Gia_ManSatPartCountNodes() : giaSat.c
• Gia_ManSatPartCreate() : giaSat.c
• Gia_ManSatPartCreate_rec() : giaSat.c
• Gia_ManSatPartPrint() : giaSat.c
• Gia_ManSatStart() : giaSat.c
• Gia_ManSatStop() : giaSat.c
• Gia_ManSaveValue() : giaUtil.c , gia.h
• Gia_ManSeqCleanup() : gia.h , giaScl.c
• Gia_ManSeqCleanupClasses() : giaAig.c , giaAig.h
• Gia_ManSeqMarkUsed() : gia.h , giaScl.c
• Gia_ManSeqMarkUsed_rec() : giaScl.c
• Gia_ManSeqStructSweep() : gia.h , giaScl.c
• Gia_ManSetDefaultParamsSwi() : giaSwitch.c
• Gia_ManSetFailedPoCex() : giaCex.c , gia.h
• Gia_ManSetIfParsDefault() : gia.h , giaIf.c
• Gia_ManSetLevels() : giaUtil.c , gia.h
• Gia_ManSetMark0() : gia.h , giaUtil.c
• Gia_ManSetMark1() : gia.h , giaUtil.c
• Gia_ManSetPhase() : gia.h , giaUtil.c
• Gia_ManSetPhase1() : giaUtil.c , gia.h
• Gia_ManSetPhasePattern() : gia.h , giaUtil.c
• Gia_ManSetRefsMapped() : giaIf.c , gia.h
• Gia_ManSetRegNum() : gia.h , giaMan.c
• Gia_ManSetTwo() : bmcCexMin2.c
• Gia_ManShrinkGla() : abs.h , absIter.c
• Gia_ManSim_t : gia.h
• Gia_ManSimCollect() : giaSim.c
• Gia_ManSimCollect_rec() : giaSim.c
• Gia_ManSimCreate() : giaSim.c
• Gia_ManSimDelete() : giaSim.c
• Gia_ManSimDeriveResets() : giaSim.c
• Gia_ManSimInfoCopy() : giaSim.c
• Gia_ManSimInfoInit() : gia.h , giaSim.c
• Gia_ManSimInfoIsZero() : giaSim.c
• Gia_ManSimInfoOne() : giaSim.c
• Gia_ManSimInfoRandom() : giaSim.c
• Gia_ManSimInfoTransfer() : gia.h , giaSim.c
• Gia_ManSimInfoZero() : giaSim.c
• Gia_ManSimplifyAnd() : giaBalAig.c , giaBalLut.c , giaStr.c
• Gia_ManSimplifyXor() : giaBalAig.c , giaBalLut.c , giaStr.c
• Gia_ManSimReadFile() : giaSim.c
• Gia_ManSimSetDefaultParams() : gia.h , giaSim.c
• Gia_ManSimSimulate() : gia.h , giaSim.c
• Gia_ManSimSimulateEquiv() : giaSim2.c
• Gia_ManSimSimulateOne() : giaSim.c
• Gia_ManSimSimulatePattern() : giaSim.c
• Gia_ManSimulateCi() : giaSim.c
• Gia_ManSimulateCo() : giaEra.c , giaSim.c
• Gia_ManSimulateNode() : giaEra.c , giaSim.c
• Gia_ManSimulateRound() : gia.h , giaSim.c
• Gia_ManSimWriteFile() : giaSim.c
• Gia_ManSolveProblem() : giaEmbed.c , gia.h
• Gia_ManSolveSat() : giaAig.c , giaAig.h
• Gia_ManSopToAig() : giaFx.c
• Gia_ManSortByValue() : giaDup.c
• Gia_ManSpecBuild() : giaEquiv.c
• Gia_ManSpecBuildInit() : giaEquiv.c
• Gia_ManSpecReduce() : giaEquiv.c , gia.h
• Gia_ManSpecReduce_rec() : giaEquiv.c
• Gia_ManSpecReduceInit() : gia.h , giaEquiv.c
• Gia_ManSpecReduceInit_rec() : giaEquiv.c
• Gia_ManSpecReduceInitFrames() : gia.h , giaEquiv.c
• Gia_ManSpecReduceTrace() : giaEquiv.c
• Gia_ManSpeedup() : gia.h , giaSpeedup.c
• Gia_ManSpeedupObj() : giaSpeedup.c
• Gia_ManSpeedupObj_rec() : giaSpeedup.c
• Gia_ManStart() : gia.h , giaMan.c
• Gia_ManStartFanoutMap() : giaFanout.c
• Gia_ManStaticFanoutStart() : giaFanout.c , gia.h
• Gia_ManStaticFanoutStop() : gia.h , giaFanout.c
• Gia_ManStaticFanoutTest() : giaFanout.c
• Gia_ManStgKHot() : giaStg.c
• Gia_ManStgOneHot() : giaStg.c
• Gia_ManStgPrint() : gia.h , giaStg.c
• Gia_ManStgRead() : gia.h , giaStg.c
• Gia_ManStgReadLines() : giaStg.c
• Gia_ManStop() : giaMan.c , gia.h
• Gia_ManStopP() : gia.h , giaMan.c
• Gia_ManStuckAtUnfold() : bmcFault.c
• Gia_ManSup_t : giaSupMin.c
• Gia_ManSuperCollect() : giaBalAig.c , giaBalLut.c , giaStr.c
• Gia_ManSuperCollectAnd_rec() : giaBalAig.c , giaBalLut.c , giaStr.c
• Gia_ManSuperCollectXor_rec() : giaBalLut.c , giaStr.c , giaBalAig.c
• Gia_ManSupExperiment() : giaSupMin.c
• Gia_ManSupExperimentOne() : giaSupMin.c
• Gia_ManSuppSize() : gia.h , giaDfs.c
• Gia_ManSuppSize_rec() : giaDfs.c
• Gia_ManSuppSizeOne() : giaDfs.c
• Gia_ManSuppSizeTest() : giaDfs.c
• Gia_ManSupStart() : giaSupMin.c
• Gia_ManSupStop() : giaSupMin.c
• Gia_ManSwapPos() : gia.h , giaUtil.c
• Gia_ManSweepComputeOneDomainEquivs() : giaSweep.c
• Gia_ManSweepWithBoxes() : gia.h , giaSweep.c
• Gia_ManSweepWithBoxesAndDomains() : giaSweep.c
• Gia_ManSwi_t : giaSwitch.c
• Gia_ManSwiComputeProbOne() : giaSwitch.c
• Gia_ManSwiComputeSwitching() : giaSwitch.c
• Gia_ManSwiCreate() : giaSwitch.c
• Gia_ManSwiDelete() : giaSwitch.c
• Gia_ManSwiSimInfoCopy() : giaSwitch.c
• Gia_ManSwiSimInfoCopyShift() : giaSwitch.c
• Gia_ManSwiSimInfoCountOnes() : giaSwitch.c
• Gia_ManSwiSimInfoCountTrans() : giaSwitch.c
• Gia_ManSwiSimInfoInit() : giaSwitch.c
• Gia_ManSwiSimInfoOne() : giaSwitch.c
• Gia_ManSwiSimInfoRandom() : giaSwitch.c
• Gia_ManSwiSimInfoRandomShift() : giaSwitch.c
• Gia_ManSwiSimInfoTransfer() : giaSwitch.c
• Gia_ManSwiSimInfoTransferShift() : giaSwitch.c
• Gia_ManSwiSimInfoZero() : giaSwitch.c
• Gia_ManSwiSimulate() : giaSwitch.c
• Gia_ManSwiSimulateCi() : giaSwitch.c
• Gia_ManSwiSimulateCo() : giaSwitch.c
• Gia_ManSwiSimulateNode() : giaSwitch.c
• Gia_ManSwiSimulateRound() : giaSwitch.c
• Gia_ManTer_t : giaTsim.c
• Gia_ManTerAnalyze() : giaTsim.c
• Gia_ManTerAnalyze2() : giaTsim.c
• Gia_ManTerCreate() : giaTsim.c
• Gia_ManTerCreateMap() : giaTsim.c
• Gia_ManTerDelete() : giaTsim.c
• Gia_ManTerRetire() : giaTsim.c
• Gia_ManTerRetire2() : giaTsim.c
• Gia_ManTerSimInfoGet() : giaTsim.c , bmcBmcAnd.c
• Gia_ManTerSimInfoInit() : giaTsim.c
• Gia_ManTerSimInfoSet() : giaTsim.c , bmcBmcAnd.c
• Gia_ManTerSimInfoTransfer() : giaTsim.c
• Gia_ManTerSimulate() : giaTsim.c
• Gia_ManTerSimulateCi() : giaTsim.c
• Gia_ManTerSimulateCo() : giaTsim.c
• Gia_ManTerSimulateNode() : giaTsim.c
• Gia_ManTerSimulateRound() : giaTsim.c
• Gia_ManTerStateAlloc() : giaTsim.c
• Gia_ManTerStateCreate() : giaTsim.c
• Gia_ManTerStateHash() : giaTsim.c
• Gia_ManTerStateInsert() : giaTsim.c
• Gia_ManTerStateLookup() : giaTsim.c
• Gia_ManTerStateNext() : giaTsim.c
• Gia_ManTerStatePrint() : giaTsim.c
• Gia_ManTerStateSetNext() : giaTsim.c
• Gia_ManTerStatesFree() : giaTsim.c
• Gia_ManTerTranspose() : giaTsim.c
• Gia_ManTestDistance() : giaEmbed.c , gia.h
• Gia_ManTestDistanceInternal() : giaEmbed.c
• Gia_ManTestDoms() : absRpm.c
• Gia_ManTestDoms2() : absRpm.c
• Gia_ManTestStruct() : giaIf.c
• Gia_ManTimeClean() : gia.h
• Gia_ManTimeStart() : gia.h
• Gia_ManTimeStop() : gia.h
• Gia_ManTisCollectMffc() : giaTis.c
• Gia_ManTisCollectMffc_rec() : giaTis.c
• Gia_ManTisDupMuxes() : giaTis.c
• Gia_ManTisPrintMffc() : giaTis.c
• Gia_ManTisTest() : giaTis.c
• Gia_ManToAig() : giaAig.c , giaAig.h
• Gia_ManToAig_rec() : giaAig.c
• Gia_ManToAigSimple() : giaAig.c , giaAig.h
• Gia_ManToAigSkip() : giaAig.c , giaAig.h
• Gia_ManToBridgeAbort() : utilBridge.c , pdrCore.c
• Gia_ManToBridgeAbsNetlist() : abc_global.h , utilBridge.c
• Gia_ManToBridgeAbsNetlistTest() : utilBridge.c
• Gia_ManToBridgeBadAbs() : utilBridge.c
• Gia_ManToBridgeProgress() : utilBridge.c
• Gia_ManToBridgeResult() : pdrCore.c , bmcBmc3.c , utilBridge.c
• Gia_ManToBridgeText() : utilBridge.c , abc_global.h
• Gia_ManToBridgeVec() : utilBridge.c
• Gia_ManToIf() : giaIf.c
• Gia_ManToMiniAig() : giaMini.c
• Gia_ManTransfer() : giaCof.c
• Gia_ManTransferFrames() : giaEnable.c
• Gia_ManTransferMapping() : gia.h , giaIf.c
• Gia_ManTransferPacking() : giaIf.c , gia.h
• Gia_ManTransferTiming() : gia.h , giaIf.c
• Gia_ManTransformFlops() : absOut.c
• Gia_ManTransformMiter() : giaDup.c , gia.h
• Gia_ManTransformToDual() : gia.h , giaDup.c
• Gia_ManTruthClear() : gia.h
• Gia_ManTruthCopy() : gia.h
• Gia_ManTruthFill() : gia.h
• Gia_ManTruthIsConst0() : gia.h
• Gia_ManTruthIsConst1() : gia.h
• Gia_ManTruthNot() : gia.h
• Gia_ManTtIsAndType() : utilTruth.h
• Gia_ManTtIsOrType() : utilTruth.h
• Gia_ManTtIsXorType() : utilTruth.h
• Gia_ManUnr_t : giaFrames.c
• Gia_ManUnroll() : giaFrames.c
• Gia_ManUnrollAbs() : giaFrames.c , gia.h
• Gia_ManUnrollAdd() : gia.h , giaFrames.c
• Gia_ManUnrollAndCofactor() : gia.h , giaEnable.c
• Gia_ManUnrollDup() : giaFrames.c , gia.h
• Gia_ManUnrollDup_rec() : giaFrames.c
• Gia_ManUnrollInit() : giaEnable.c
• Gia_ManUnrollLastLit() : gia.h , giaFrames.c
• Gia_ManUnrollStart() : giaFrames.c , gia.h
• Gia_ManUnrollStop() : gia.h , giaFrames.c
• Gia_ManUnrStart() : giaFrames.c
• Gia_ManUpdateExtraAig() : giaTim.c , gia.h
• Gia_ManUpdateExtraAig2() : gia.h , giaTim.c
• Gia_ManUpdateTimMan() : gia.h , giaTim.c
• Gia_ManUpdateTimMan2() : gia.h , giaTim.c
• Gia_ManVerifyCex() : gia.h , giaCex.c
• Gia_ManVerifyCexAndMove() : bmcChain.c
• Gia_ManVerifyChoices() : abcTim.c
• Gia_ManVerifyWithBoxes() : giaTim.c , gia.h
• Gia_ManWriteMiniAig() : gia.h , giaMini.c
• Gia_ManXorNum() : gia.h
• Gia_MmFixed_t : gia.h
• Gia_MmFixedEntryFetch() : giaMem.c , gia.h
• Gia_MmFixedEntryRecycle() : gia.h , giaMem.c
• Gia_MmFixedReadMaxEntriesUsed() : gia.h , giaMem.c
• Gia_MmFixedReadMemUsage() : gia.h , giaMem.c
• Gia_MmFixedRestart() : gia.h , giaMem.c
• Gia_MmFixedStart() : gia.h , giaMem.c
• Gia_MmFixedStop() : gia.h , giaMem.c
• Gia_MmFlex_t : gia.h
• Gia_MmFlexEntryFetch() : gia.h , giaMem.c
• Gia_MmFlexReadMemUsage() : giaMem.c , gia.h
• Gia_MmFlexRestart() : giaMem.c , gia.h
• Gia_MmFlexStart() : giaMem.c , gia.h
• Gia_MmFlexStop() : giaMem.c , gia.h
• Gia_MmStep_t : gia.h
• Gia_MmStepEntryFetch() : giaMem.c , gia.h
• Gia_MmStepEntryRecycle() : gia.h , giaMem.c
• Gia_MmStepReadMemUsage() : gia.h , giaMem.c
• Gia_MmStepStart() : giaMem.c , gia.h
• Gia_MmStepStop() : gia.h , giaMem.c
• Gia_MuxDeref() : giaMuxes.c
• Gia_MuxDeref_rec() : giaMuxes.c
• Gia_MuxMffcSize() : giaMuxes.c
• Gia_MuxRef() : giaMuxes.c
• Gia_MuxRef_rec() : giaMuxes.c
• Gia_MuxStructDump() : giaMuxes.c
• Gia_MuxStructDump_rec() : giaMuxes.c
• Gia_MuxStructPrint() : giaMuxes.c
• Gia_MuxStructPrint_rec() : giaMuxes.c
• Gia_NodeCollect_rec() : giaMffc.c
• Gia_NodeDeref_rec() : giaUtil.c , giaMffc.c
• Gia_NodeMffcSize() : gia.h , giaUtil.c
• Gia_NodeMffcSizeSupp() : giaMffc.c
• Gia_NodeRef_rec() : giaMffc.c , giaUtil.c
• GIA_NONE : gia.h
• Gia_Not() : gia.h
• Gia_NotCond() : gia.h
• Gia_Obj0Copy() : giaCCof.c
• Gia_Obj1Copy() : giaCCof.c
• Gia_Obj2Lit() : gia.h
• Gia_Obj_t : gia.h
• Gia_ObjAddFanout() : giaFanout.c , gia.h
• Gia_ObjAddToGla() : absIter.c
• Gia_ObjAre_t : giaEra2.c
• Gia_ObjCellFanin() : gia.h
• Gia_ObjCellFanins() : gia.h
• Gia_ObjCellId() : gia.h
• Gia_ObjCellSize() : gia.h
• Gia_ObjCheckMffc() : giaResub.c
• Gia_ObjCheckMffc_rec() : giaResub.c
• Gia_ObjCheckTfi() : giaEquiv.c
• Gia_ObjCheckTfi_rec() : giaEquiv.c
• Gia_ObjChild0() : gia.h
• Gia_ObjChild0Copy() : giaAig.c , mfsGia.c
• Gia_ObjChild0Copy2() : giaAig.c
• Gia_ObjChild1() : gia.h
• Gia_ObjChild1Copy() : giaAig.c , mfsGia.c
• Gia_ObjChild1Copy2() : giaAig.c
• Gia_ObjChild2() : gia.h
• Gia_ObjCioId() : gia.h
• Gia_ObjCollapseDeref() : giaClp.c
• Gia_ObjCollectInternal() : gia.h , giaTruth.c
• Gia_ObjCollectInternal_rec() : giaTruth.c
• Gia_ObjCollectInternalCut() : giaTruth.c
• Gia_ObjCollectInternalCut_rec() : giaTruth.c
• Gia_ObjColor() : gia.h
• Gia_ObjColors() : gia.h
• Gia_ObjCompareByCioId() : giaDup.c
• Gia_ObjCompareByValue() : giaIso.c
• Gia_ObjCompareByValue2() : giaIso2.c
• Gia_ObjComputeArrival() : giaSpeedup.c
• Gia_ObjComputeTruthTable() : giaTruth.c , gia.h
• Gia_ObjComputeTruthTable6() : giaTruth.c , gia.h
• Gia_ObjComputeTruthTable6_rec() : giaTruth.c
• Gia_ObjComputeTruthTable6Lut() : gia.h , giaTruth.c
• Gia_ObjComputeTruthTable6Lut_rec() : giaTruth.c
• Gia_ObjComputeTruthTableCut() : gia.h , giaTruth.c
• Gia_ObjComputeTruthTableStart() : giaTruth.c , gia.h
• Gia_ObjComputeTruthTableStop() : giaTruth.c , gia.h
• Gia_ObjComputeTruthTableTest() : giaTruth.c
• Gia_ObjCopy() : gia.h
• Gia_ObjCopyArray() : gia.h
• Gia_ObjCopyF() : gia.h
• Gia_ObjCutSign() : gia.h
• Gia_ObjDiff0() : gia.h
• Gia_ObjDiff1() : gia.h
• Gia_ObjDiffColors() : gia.h
• Gia_ObjDiffColors2() : gia.h
• Gia_ObjDom() : giaMffc.c , absRpm.c
• Gia_ObjEra_t : giaEra.c
• Gia_ObjFailed() : gia.h
• Gia_ObjFanin0() : gia.h
• Gia_ObjFanin0Copy() : gia.h
• Gia_ObjFanin0CopyArray() : gia.h
• Gia_ObjFanin0CopyCarry() : giaFadds.c
• Gia_ObjFanin0CopyF() : gia.h
• Gia_ObjFanin0CopyRepr() : giaSweep.c
• Gia_ObjFanin1() : gia.h
• Gia_ObjFanin1Copy() : gia.h
• Gia_ObjFanin1CopyArray() : gia.h
• Gia_ObjFanin1CopyCarry() : giaFadds.c
• Gia_ObjFanin1CopyF() : gia.h
• Gia_ObjFanin1CopyRepr() : giaSweep.c
• Gia_ObjFanin2() : gia.h
• Gia_ObjFanin2Copy() : gia.h
• Gia_ObjFaninC0() : gia.h
• Gia_ObjFaninC1() : gia.h
• Gia_ObjFaninC2() : gia.h
• Gia_ObjFaninId0() : gia.h
• Gia_ObjFaninId0p() : gia.h
• Gia_ObjFaninId1() : gia.h
• Gia_ObjFaninId1p() : gia.h
• Gia_ObjFaninId2() : gia.h
• Gia_ObjFaninId2p() : gia.h
• Gia_ObjFaninLit0() : gia.h
• Gia_ObjFaninLit0p() : gia.h
• Gia_ObjFaninLit1() : gia.h
• Gia_ObjFaninLit1p() : gia.h
• Gia_ObjFaninLit2() : gia.h
• Gia_ObjFaninLit2p() : gia.h
• Gia_ObjFanout() : gia.h
• Gia_ObjFanout0() : gia.h
• Gia_ObjFanout0Int() : giaFanout.c
• Gia_ObjFanoutId() : gia.h
• Gia_ObjFanoutNext() : giaFanout.c
• Gia_ObjFanoutNum() : gia.h
• Gia_ObjFanoutNumId() : gia.h
• Gia_ObjFlipFaninC0() : gia.h
• Gia_ObjFoffset() : gia.h
• Gia_ObjFoffsetId() : gia.h
• Gia_ObjForEachFanout : giaFanout.c
• Gia_ObjForEachFanoutStatic : gia.h
• Gia_ObjForEachFanoutStaticId : gia.h
• Gia_ObjFromLit() : gia.h
• Gia_ObjFromMiniFanin0Copy() : giaMini.c
• Gia_ObjFromMiniFanin1Copy() : giaMini.c
• Gia_ObjHandle() : giaCof.c
• Gia_ObjHasBranch0() : giaEra2.c
• Gia_ObjHasBranch1() : giaEra2.c
• Gia_ObjHasBranch2() : giaEra2.c
• Gia_ObjHasNumId() : gia.h
• Gia_ObjHasRepr() : gia.h
• Gia_ObjHasSameRepr() : gia.h
• Gia_ObjId() : gia.h
• Gia_ObjIsAnd() : gia.h
• Gia_ObjIsAndNotBuf() : gia.h
• Gia_ObjIsAndOrConst0() : gia.h
• Gia_ObjIsAndReal() : gia.h
• Gia_ObjIsBuf() : gia.h
• Gia_ObjIsCand() : gia.h
• Gia_ObjIsCell() : gia.h
• Gia_ObjIsCellBuf() : gia.h
• Gia_ObjIsCellInv() : gia.h
• Gia_ObjIsCi() : gia.h
• Gia_ObjIsClass() : gia.h
• Gia_ObjIsCo() : gia.h
• Gia_ObjIsConst() : gia.h
• Gia_ObjIsConst0() : gia.h
• Gia_ObjIsFailedPair() : gia.h
• Gia_ObjIsHead() : gia.h
• Gia_ObjIsInGla() : absIter.c
• Gia_ObjIsLut() : gia.h
• Gia_ObjIsMux() : gia.h
• Gia_ObjIsMuxId() : gia.h
• Gia_ObjIsMuxType() : giaUtil.c , gia.h
• Gia_ObjIsNone() : gia.h
• Gia_ObjIsPi() : gia.h
• Gia_ObjIsPo() : gia.h
• Gia_ObjIsRi() : gia.h
• Gia_ObjIsRo() : gia.h
• Gia_ObjIsTail() : gia.h
• Gia_ObjIsTerm() : gia.h
• Gia_ObjIsTravIdCurrent() : gia.h
• Gia_ObjIsTravIdCurrentId() : gia.h
• Gia_ObjIsTravIdPrevious() : gia.h
• Gia_ObjIsUsed() : giaFadds.c
• Gia_ObjIsXor() : gia.h
• Gia_ObjLevel() : gia.h
• Gia_ObjLevelId() : gia.h
• Gia_ObjLitCopy() : gia.h
• Gia_ObjLutFanin() : gia.h
• Gia_ObjLutFanins() : gia.h
• Gia_ObjLutIsMux() : gia.h
• Gia_ObjLutMuxId() : gia.h
• Gia_ObjLutSize() : gia.h
• Gia_ObjMakePoConst0() : bmcChain.c
• Gia_ObjNext() : gia.h
• Gia_ObjNextObj() : gia.h
• Gia_ObjNextObj0() : giaEra2.c
• Gia_ObjNextObj1() : giaEra2.c
• Gia_ObjNextObj2() : giaEra2.c
• Gia_ObjNum() : gia.h
• Gia_ObjNumId() : gia.h
• Gia_ObjPerformBidec() : giaBidec.c
• Gia_ObjPhase() : gia.h
• Gia_ObjPhaseReal() : gia.h
• Gia_ObjPhaseRealLit() : gia.h
• Gia_ObjPrint() : gia.h , giaUtil.c
• Gia_ObjPropagateRequired() : giaSpeedup.c
• Gia_ObjProved() : gia.h
• Gia_ObjRecognizeExor() : gia.h , giaUtil.c
• Gia_ObjRecognizeMux() : gia.h , giaUtil.c
• Gia_ObjRecognizeMuxLits() : gia.h , giaUtil.c
• Gia_ObjRecognizeMuxTwo() : giaHash.c
• Gia_ObjRefDec() : gia.h
• Gia_ObjRefDecId() : gia.h
• Gia_ObjRefFanin0Dec() : gia.h
• Gia_ObjRefFanin0Inc() : gia.h
• Gia_ObjRefFanin1Dec() : gia.h
• Gia_ObjRefFanin1Inc() : gia.h
• Gia_ObjRefFanin2Dec() : gia.h
• Gia_ObjRefFanin2Inc() : gia.h
• Gia_ObjRefInc() : gia.h
• Gia_ObjRefIncId() : gia.h
• Gia_ObjRefNum() : gia.h
• Gia_ObjRefNumId() : gia.h
• Gia_ObjRemFromGla() : absIter.c
• Gia_ObjRemoveFanout() : gia.h , giaFanout.c
• Gia_ObjRepr() : gia.h
• Gia_ObjReprObj() : gia.h
• Gia_ObjReprSelf() : gia.h
• Gia_ObjResetNumId() : gia.h
• Gia_ObjRiToRo() : gia.h
• Gia_ObjRoToRi() : gia.h
• Gia_ObjSat1_t : giaSat.c
• Gia_ObjSat2_t : giaSat.c
• Gia_ObjSat_t : giaSat.c
• Gia_ObjSetAndLevel() : gia.h
• Gia_ObjSetBufLevel() : gia.h
• Gia_ObjSetCioId() : gia.h
• Gia_ObjSetCoLevel() : gia.h
• Gia_ObjSetColor() : gia.h
• Gia_ObjSetColors() : gia.h
• Gia_ObjSetCopyArray() : gia.h
• Gia_ObjSetCopyF() : gia.h
• Gia_ObjSetDom() : giaMffc.c , absRpm.c
• Gia_ObjSetFailed() : gia.h
• Gia_ObjSetFanout() : gia.h
• Gia_ObjSetGateLevel() : gia.h
• Gia_ObjSetLevel() : gia.h
• Gia_ObjSetLevelId() : gia.h
• Gia_ObjSetMuxLevel() : gia.h
• Gia_ObjSetNext() : gia.h
• Gia_ObjSetNum() : gia.h
• Gia_ObjSetNumId() : gia.h
• Gia_ObjSetPhase() : giaUtil.c , gia.h
• Gia_ObjSetProved() : gia.h
• Gia_ObjSetRepr() : gia.h
• Gia_ObjSetReprRev() : gia.h
• Gia_ObjSetTimeArrival() : gia.h
• Gia_ObjSetTimeArrivalObj() : gia.h
• Gia_ObjSetTimeRequired() : gia.h
• Gia_ObjSetTimeRequiredObj() : gia.h
• Gia_ObjSetTimeSlack() : gia.h
• Gia_ObjSetTimeSlackObj() : gia.h
• Gia_ObjSetTravIdCurrent() : gia.h
• Gia_ObjSetTravIdCurrentId() : gia.h
• Gia_ObjSetTravIdPrevious() : gia.h
• Gia_ObjSetValue() : gia.h
• Gia_ObjSetXorLevel() : gia.h
• Gia_ObjSibl() : gia.h
• Gia_ObjSiblObj() : gia.h
• Gia_ObjSim() : gia.h
• Gia_ObjSimObj() : gia.h
• Gia_ObjSimPi() : gia.h
• Gia_ObjSimWords() : gia.h
• Gia_ObjTempRepr() : giaGiarf.c
• Gia_ObjTerSimAnd() : gia.h
• Gia_ObjTerSimCo() : gia.h
• Gia_ObjTerSimGet0() : gia.h
• Gia_ObjTerSimGet0Fanin0() : gia.h
• Gia_ObjTerSimGet0Fanin1() : gia.h
• Gia_ObjTerSimGet1() : gia.h
• Gia_ObjTerSimGet1Fanin0() : gia.h
• Gia_ObjTerSimGet1Fanin1() : gia.h
• Gia_ObjTerSimGetC() : gia.h
• Gia_ObjTerSimGetX() : gia.h
• Gia_ObjTerSimPrint() : gia.h
• Gia_ObjTerSimRo() : gia.h
• Gia_ObjTerSimSet0() : gia.h
• Gia_ObjTerSimSet1() : gia.h
• Gia_ObjTerSimSetC() : gia.h
• Gia_ObjTerSimSetX() : gia.h
• Gia_ObjTimeArrival() : gia.h
• Gia_ObjTimeArrivalObj() : gia.h
• Gia_ObjTimeRequired() : gia.h
• Gia_ObjTimeRequiredObj() : gia.h
• Gia_ObjTimeSlack() : gia.h
• Gia_ObjTimeSlackObj() : gia.h
• Gia_ObjToLit() : gia.h
• Gia_ObjUnrRead() : giaFrames.c
• Gia_ObjUnrReadCi() : giaFrames.c
• Gia_ObjUnrReadCopy0() : giaFrames.c
• Gia_ObjUnrReadCopy1() : giaFrames.c
• Gia_ObjUnrWrite() : giaFrames.c
• Gia_ObjUnsetProved() : gia.h
• Gia_ObjUnsetRepr() : gia.h
• Gia_ObjValue() : gia.h
• Gia_ObjVisitColor() : gia.h
• Gia_ObjWhatFanin() : gia.h
• GIA_ONE : gia.h
• Gia_ParAbs_t : abs.h
• Gia_ParFfSetDefault() : bmcFault.c
• Gia_ParFra_t : gia.h
• Gia_ParLlb_t : llb.h
• Gia_ParSim_t : gia.h
• Gia_ParSwi_t : giaSwitch.c
• Gia_ParTestAlloc() : bmcInse.c
• Gia_ParTestFree() : bmcInse.c
• Gia_ParTestObj() : bmcInse.c
• GIA_PATH00_MASK : giaProp.c
• GIA_PATH10_MASK : giaProp.c
• GIA_PATH20_MASK : giaProp.c
• GIA_PATH30_MASK : giaProp.c
• GIA_PLACE_SIZE : giaEmbed.c
• Gia_Plc_t : gia.h
• Gia_Ptr2Int() : giaEra2.c
• Gia_PtrAre_t : giaEra2.c
• Gia_PtrAreInt_t : giaEra2.c
• Gia_QbfAddCofactor() : giaQbf.c
• Gia_QbfAddSpecialConstr() : giaQbf.c
• Gia_QbfAlloc() : giaQbf.c
• Gia_QbfCofactor() : giaQbf.c
• Gia_QbfDumpFile() : giaQbf.c
• Gia_QbfFree() : giaQbf.c
• Gia_QbfLearnConstraint() : giaQbf.c
• Gia_QbfOnePattern() : giaQbf.c
• Gia_QbfPrint() : giaQbf.c
• Gia_QbfQuantify() : giaQbf.c
• Gia_QbfSolve() : giaQbf.c
• Gia_QbfVerify() : giaQbf.c
• Gia_Regular() : gia.h
• Gia_Resimulate_rec() : giaGiarf.c
• Gia_ResimulateAndRefine() : giaGiarf.c
• GIA_ROOT_MASK : giaProp.c
• Gia_Rpr_t : gia.h
• GIA_SAT_SHIFT : giaProp.c
• Gia_SatCollectCone() : giaPat.c
• Gia_SatCollectCone_rec() : giaPat.c
• Gia_SatObjIsAssigned() : giaProp.c
• Gia_SatObjIsHeld() : giaProp.c
• Gia_SatObjIsRoot() : giaProp.c
• Gia_SatObjValue() : giaProp.c
• Gia_SatObjXorRoot() : giaProp.c
• Gia_SatPathCheckCutSat() : giaProp.c
• Gia_SatPathCheckCutSat_rec() : giaProp.c
• Gia_SatPathStart() : giaProp.c
• Gia_SatPathStart_rec() : giaProp.c
• Gia_SatPathUnbind_rec() : giaProp.c
• Gia_SatVerifyPattern() : giaPat.c , gia.h
• Gia_Sim2_t : giaSim2.c
• Gia_Sim2CheckPos() : giaSim2.c
• Gia_Sim2ClassCreate() : giaSim2.c
• Gia_Sim2ClassRefineOne() : giaSim2.c
• Gia_Sim2CompareEqual() : giaSim2.c
• Gia_Sim2CompareZero() : giaSim2.c
• Gia_Sim2Create() : giaSim2.c
• Gia_Sim2Data() : giaSim2.c
• Gia_Sim2Delete() : giaSim2.c
• Gia_Sim2GenerateCounter() : giaSim2.c
• Gia_Sim2HashKey() : giaSim2.c
• Gia_Sim2InfoCopy() : giaSim2.c
• Gia_Sim2InfoIsZero() : giaSim2.c
• Gia_Sim2InfoOne() : giaSim2.c
• Gia_Sim2InfoRandom() : giaSim2.c
• Gia_Sim2InfoRefineEquivs() : giaSim2.c
• Gia_Sim2InfoTransfer() : giaSim2.c
• Gia_Sim2InfoZero() : giaSim2.c
• Gia_Sim2ProcessRefined() : giaSim2.c
• Gia_Sim2SimulateCo() : giaSim2.c
• Gia_Sim2SimulateNode() : giaSim2.c
• Gia_Sim2SimulateRound() : giaSim2.c
• Gia_SimData() : giaSim.c
• Gia_SimDataCi() : giaSim.c
• Gia_SimDataCiExt() : giaSim.c , gia.h
• Gia_SimDataCo() : giaSim.c
• Gia_SimDataCoExt() : giaSim.c , gia.h
• Gia_SimDataExt() : gia.h , giaSim.c
• Gia_SortFloats() : giaSort.c , gia.h
• Gia_SortGetTest() : giaSort.c
• Gia_SortTest() : giaSort.c
• Gia_SortVerifySorted() : giaSort.c
• Gia_StaAre_t : giaEra2.c
• Gia_StaAreContain() : giaEra2.c
• Gia_StaAreDashNum() : giaEra2.c
• Gia_StaAreDisjoint() : giaEra2.c
• Gia_StaAreDisjointVar() : giaEra2.c
• Gia_StaAreEqual() : giaEra2.c
• Gia_StaAreSharpVar() : giaEra2.c
• Gia_StaHasValue0() : giaEra2.c
• Gia_StaHasValue1() : giaEra2.c
• Gia_StaIsGood() : giaEra2.c
• Gia_StaIsUnused() : giaEra2.c
• Gia_StaIsUsed() : giaEra2.c
• Gia_StaNext() : giaEra2.c
• Gia_StaPrev() : giaEra2.c
• Gia_StaSetUnused() : giaEra2.c
• Gia_StaSetValue0() : giaEra2.c
• Gia_StaSetValue1() : giaEra2.c
• Gia_SweeperCheckEquiv() : giaSweeper.c , gia.h
• Gia_SweeperCleanup() : giaSweeper.c , gia.h
• Gia_SweeperCollectValidProbeIds() : giaSweeper.c , gia.h
• Gia_SweeperCondCheckUnsat() : giaSweeper.c , gia.h
• Gia_SweeperCondPop() : gia.h , giaSweeper.c
• Gia_SweeperCondPush() : giaSweeper.c , gia.h
• Gia_SweeperCondVector() : giaSweeper.c , gia.h
• Gia_SweeperExtractUserLogic() : gia.h , giaSweeper.c
• Gia_SweeperFraig() : giaSweeper.c , gia.h
• Gia_SweeperFraigTest() : giaSweeper.c
• Gia_SweeperGetCex() : gia.h , giaSweeper.c
• Gia_SweeperGraft() : giaSweeper.c , gia.h
• Gia_SweeperIsRunning() : giaSweeper.c , gia.h
• Gia_SweeperLogicDump() : giaSweeper.c , gia.h
• Gia_SweeperMemUsage() : giaSweeper.c
• Gia_SweeperPrintStats() : giaSweeper.c , gia.h
• Gia_SweeperProbeCreate() : giaSweeper.c , gia.h
• Gia_SweeperProbeDelete() : giaSweeper.c , gia.h
• Gia_SweeperProbeLit() : gia.h , giaSweeper.c
• Gia_SweeperProbeUpdate() : gia.h , giaSweeper.c
• Gia_SweeperRun() : gia.h , giaSweeper.c
• Gia_SweeperSetConflictLimit() : gia.h , giaSweeper.c
• Gia_SweeperSetRuntimeLimit() : giaSweeper.c , gia.h
• Gia_SweeperStart() : giaSweeper.c , gia.h
• Gia_SweeperStop() : giaSweeper.c , gia.h
• Gia_SweeperSweep() : giaSweeper.c
• Gia_SwiData() : giaSwitch.c
• Gia_SwiDataCi() : giaSwitch.c
• Gia_SwiDataCo() : giaSwitch.c
• Gia_TimeStamp() : gia.h , giaUtil.c
• Gia_TransferMappedClasses() : cecSynth.c
• GIA_UND : gia.h
• GIA_VOID : gia.h
• Gia_VtaAbsToFrames() : absVta.c
• Gia_VtaConvertFromGla() : absUtil.c , abs.h
• Gia_VtaConvertToGla() : abs.h , absUtil.c
• Gia_VtaDumpAbsracted() : absVta.c
• Gia_VtaFramesToAbs() : absVta.c
• Gia_VtaPerform() : absVta.c , abs.h
• Gia_VtaPerformInt() : absVta.c
• Gia_VtaPrintMemory() : absVta.c
• Gia_VtaSendAbsracted() : absVta.c
• Gia_VtaSendCancel() : absVta.c
• Gia_WordCountOnes() : gia.h
• Gia_WordFindFirstBit() : gia.h
• Gia_WordHasOneBit() : gia.h
• Gia_WordHasOnePair() : gia.h
• Gia_WriteEquivClasses() : giaAigerExt.c
• Gia_WriteEquivClassesInt() : giaAigerExt.c
• Gia_WritePacking() : giaAigerExt.c
• Gia_XsimAndCond() : gia.h
• Gia_XsimNotCond() : gia.h
• GIA_ZER : gia.h
• GIG_BAR : giaGig.c
• GIG_BOX : giaGig.c
• GIG_DELAY : giaGig.c
• GIG_LUT : giaGig.c
• GIG_NONE : giaGig.c
• GIG_PI : giaGig.c
• GIG_PO : giaGig.c
• GIG_RESET : giaGig.c
• GIG_SEL : giaGig.c
• GIG_SEQ : giaGig.c
• GIG_UNUSED : giaGig.c
• gimpel_reduce() : mincov_int.h , gimpel.c
• GIRRED_TIME : espresso.h
• Gla_Man_t : absGlaOld.c
• Gla_ManAbsPrintFrame() : absGlaOld.c
• Gla_ManAddClauses() : absGlaOld.c
• Gla_ManCheckVar() : absGlaOld.c
• Gla_ManCollect() : absGlaOld.c
• Gla_ManCollectFanins() : absGlaOld.c
• Gla_ManCollectInternal_rec() : absGlaOld.c
• Gla_ManCollectPPis() : absGlaOld.c
• Gla_ManCountPPis() : absGlaOld.c
• Gla_ManDeriveCex() : absGlaOld.c
• Gla_ManExplorePPis() : absGlaOld.c
• Gla_ManForEachObj : absGlaOld.c
• Gla_ManForEachObjAbs : absGlaOld.c
• Gla_ManForEachObjAbsVec : absGlaOld.c
• Gla_ManGetOutLit() : absGlaOld.c
• Gla_ManGetVar() : absGlaOld.c
• Gla_ManGiaObj() : absGlaOld.c
• Gla_ManObj() : absGlaOld.c
• Gla_ManRefinement() : absGlaOld.c
• Gla_ManRefinement2() : absGlaOld.c
• Gla_ManRefSelect_rec() : absGlaOld.c
• Gla_ManReportMemory() : absGlaOld.c
• Gla_ManRollBack() : absGlaOld.c
• Gla_ManStart() : absGlaOld.c
• Gla_ManStart2() : absGlaOld.c
• Gla_ManStop() : absGlaOld.c
• Gla_ManTranslate() : absGlaOld.c
• Gla_ManTranslate_rec() : absGlaOld.c
• Gla_ManUnsatCore() : absGlaOld.c
• Gla_ManVerifyUsingTerSim() : absGlaOld.c
• Gla_Obj_t : absGlaOld.c
• Gla_ObjClearRef() : absGlaOld.c
• Gla_ObjForEachFanin : absGlaOld.c
• Gla_ObjId() : absGlaOld.c
• Gla_ObjRef() : absGlaOld.c
• Gla_ObjSatValue() : absGlaOld.c
• Gla_ObjTruthConst0() : giaTruth.c
• Gla_ObjTruthDup() : giaTruth.c
• Gla_ObjTruthElem() : giaTruth.c
• Gla_ObjTruthFree1() : giaTruth.c
• Gla_ObjTruthFree2() : giaTruth.c
• Gla_ObjTruthNode() : giaTruth.c
• Gla_ObjTruthNodeId() : giaTruth.c
• Gli_Man_t : giaGlitch.c , abcPrint.c
• Gli_ManAlloc() : abcPrint.c , giaGlitch.c
• Gli_ManCi() : giaGlitch.c
• Gli_ManCiNum() : giaGlitch.c
• Gli_ManCo() : giaGlitch.c
• Gli_ManCoNum() : giaGlitch.c
• Gli_ManCreateCi() : giaGlitch.c , abcPrint.c
• Gli_ManCreateCo() : abcPrint.c , giaGlitch.c
• Gli_ManCreateNode() : abcPrint.c , giaGlitch.c
• Gli_ManFinalize() : giaGlitch.c
• Gli_ManForEachCi : giaGlitch.c
• Gli_ManForEachCo : giaGlitch.c
• Gli_ManForEachEntry : giaGlitch.c
• Gli_ManForEachNode : giaGlitch.c
• Gli_ManForEachObj : giaGlitch.c
• Gli_ManForEachPi : giaGlitch.c
• Gli_ManForEachPo : giaGlitch.c
• Gli_ManForEachRi : giaGlitch.c
• Gli_ManForEachRiRo : giaGlitch.c
• Gli_ManForEachRo : giaGlitch.c
• Gli_ManGlitching() : giaGlitch.c
• Gli_ManNodeNum() : giaGlitch.c
• Gli_ManObj() : giaGlitch.c
• Gli_ManObjNum() : giaGlitch.c
• Gli_ManPi() : giaGlitch.c
• Gli_ManPiNum() : giaGlitch.c
• Gli_ManPo() : giaGlitch.c
• Gli_ManPoNum() : giaGlitch.c
• Gli_ManPrintObjects() : giaGlitch.c
• Gli_ManRegNum() : giaGlitch.c
• Gli_ManRi() : giaGlitch.c
• Gli_ManRo() : giaGlitch.c
• Gli_ManSetDataSaved() : giaGlitch.c
• Gli_ManSetPiFromSaved() : giaGlitch.c
• Gli_ManSetPiRandom() : giaGlitch.c
• Gli_ManSetPiRandomSeq() : giaGlitch.c
• Gli_ManSimulateSeqNode() : giaGlitch.c
• Gli_ManSimulateSeqPref() : giaGlitch.c
• Gli_ManStop() : abcPrint.c , giaGlitch.c
• Gli_ManSwitchesAndGlitches() : giaGlitch.c , abcPrint.c
• Gli_ManSwitching() : giaGlitch.c
• Gli_ManUpdateRandomInput() : giaGlitch.c
• Gli_ManVerify() : giaGlitch.c
• Gli_NodeComputeValue() : giaGlitch.c
• Gli_NodeComputeValue2() : giaGlitch.c
• Gli_Obj_t : giaGlitch.c
• Gli_ObjAddFanin() : giaGlitch.c
• Gli_ObjAlloc() : giaGlitch.c
• Gli_ObjFanin() : giaGlitch.c
• Gli_ObjFaninNum() : giaGlitch.c
• Gli_ObjFanout() : giaGlitch.c
• Gli_ObjFanoutNum() : giaGlitch.c
• Gli_ObjForEachFanin : giaGlitch.c
• Gli_ObjForEachFanout : giaGlitch.c
• Gli_ObjIsCi() : giaGlitch.c
• Gli_ObjIsCo() : giaGlitch.c
• Gli_ObjIsNode() : giaGlitch.c
• Gli_ObjIsTerm() : giaGlitch.c
• Gli_ObjNumGlitches() : giaGlitch.c , abcPrint.c
• Gli_ObjNumSwitches() : giaGlitch.c , abcPrint.c
• Gli_ObjSize() : giaGlitch.c
• glo_fMapped : verCore.c , io.c
• global_PLA : pair.c
• globalFixDensity() : place_base.h , place_bin.c
• globalIncremental() : place_gordian.c , place_base.h
• GLOBALLY : ltl_parser.c
• globalPlace() : place_base.h , place_gordian.c
• globalPreplace() : place_pads.c , place_base.h
• GlobalQueueItem : cuddApprox.c
• globalUtilOptarg : extraUtilUtil.c , extra.h
• globalUtilOptind : extraUtilUtil.c , extra.h
• Gminterm : map.c
• Gps_Par_t : gia.h
• GrayCode() : casCore.c , extraBddKmap.c
• GREDUCE_TIME : espresso.h
• greedy_best_cost() : pair.c , espresso.h
• GT_OFF : gzguts.h
• GUNZIP : inflate.h
• GZ_APPEND : gzguts.h
• gz_avail() : gzread.c
• gz_comp() : gzwrite.c
• gz_decomp() : gzread.c
• gz_error() : gzlib.c
• gz_head() : gzread.c
• gz_header : zlib.h
• gz_headerp : zlib.h
• gz_init() : gzwrite.c
• gz_intmax() : gzlib.c
• gz_load() : gzread.c
• gz_make() : gzread.c
• gz_next4() : gzread.c
• GZ_NONE : gzguts.h
• gz_open() : gzlib.c
• GZ_READ : gzguts.h
• gz_reset() : gzlib.c
• gz_skip() : gzread.c
• gz_statep : gzguts.h
• GZ_WRITE : gzguts.h
• gz_zero() : gzwrite.c
• gzbuffer() : gzlib.c
• GZBUFSIZE : gzguts.h
• gzclearerr() : gzlib.c
• gzclose() : gzclose.c
• gzclose_r() : gzread.c
• gzclose_w() : gzwrite.c
• gzdirect() : gzread.c
• gzdopen() : gzlib.c
• gzeof() : gzlib.c
• gzerror() : gzlib.c
• gzFile : zlib.h
• gzflush() : gzwrite.c
• gzgetc() : gzread.c
• gzgets() : gzread.c
• GZIP : deflate.h , gzguts.h
• gzoffset() : gzlib.c
• gzoffset64() : gzlib.c
• gzopen() : gzlib.c
• gzopen64() : gzlib.c
• gzprintf() : gzwrite.c
• gzputc() : gzwrite.c
• gzputs() : gzwrite.c
• gzread() : gzread.c
• gzrewind() : gzlib.c
• gzseek() : gzlib.c
• gzseek64() : gzlib.c
• gzsetparams() : gzwrite.c
• gztell() : gzlib.c
• gztell64() : gzlib.c
• gzungetc() : gzread.c
• gzwrite() : gzwrite.c