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

- h -

• H_CR : cuddDecomp.c
• H_ST : cuddDecomp.c
• hack : cuddTable.c
• HALF_LEFT : extraBddKmap.c
• HALF_LOWER : extraBddKmap.c
• HALF_RIGHT : extraBddKmap.c
• HALF_UPPER : extraBddKmap.c
• handle_compress() : bzlib.c
• hash_add() : place_test.c
• hash_cellname : place_test.c
• Hash_DefaultCmpFuncInt() : hashGen.h
• Hash_DefaultCmpFuncStr() : hashGen.h
• Hash_DefaultHashFunc() : hashPtr.h , hash.h , hashFlt.h , hashInt.h
• Hash_DefaultHashFuncInt() : hashGen.h
• Hash_DefaultHashFuncStr() : hashGen.h
• hash_element : place_test.c
• hash_find() : place_test.c
• Hash_Flt_Entry_t : hashFlt.h
• Hash_Flt_t : hashFlt.h
• Hash_FltAlloc() : hashFlt.h
• Hash_FltEntry() : hashFlt.h
• Hash_FltEntryPtr() : hashFlt.h
• Hash_FltExists() : hashFlt.h
• Hash_FltForEachEntry : hashFlt.h
• Hash_FltFree() : hashFlt.h
• Hash_FltRemove() : hashFlt.h
• Hash_FltWriteEntry() : hashFlt.h
• Hash_Gen_Entry_t : hashGen.h
• Hash_Gen_t : hashGen.h
• Hash_GenAlloc() : hashGen.h
• Hash_GenCompFunction_t : hashGen.h
• Hash_GenEntry() : hashGen.h
• Hash_GenExists() : hashGen.h
• Hash_GenForEachEntry : hashGen.h
• Hash_GenFree() : hashGen.h
• Hash_GenHashFunction_t : hashGen.h
• Hash_GenRemove() : hashGen.h
• Hash_GenWriteEntry() : hashGen.h
• Hash_Int2ManHash() : vecHash.h
• Hash_Int2ManInsert() : vecHash.h
• Hash_Int2ManLookup() : vecHash.h
• Hash_Int2ObjDec() : vecHash.h
• Hash_Int2ObjInc() : vecHash.h
• Hash_Int2ObjSetData2() : vecHash.h
• Hash_Int_Entry_t : hashInt.h
• Hash_Int_t : hashInt.h
• Hash_IntAlloc() : hashInt.h
• Hash_IntEntry() : hashInt.h
• Hash_IntEntryPtr() : hashInt.h
• Hash_IntExists() : hashInt.h
• Hash_IntForEachEntry : hashInt.h
• Hash_IntFree() : hashInt.h
• Hash_IntMan_t : vecHash.h
• Hash_IntManEntryNum() : vecHash.h
• Hash_IntManHashArrayTest() : vecHash.h
• Hash_IntManProfile() : vecHash.h
• Hash_IntManStart() : vecHash.h
• Hash_IntManStop() : vecHash.h
• Hash_IntObj() : vecHash.h
• Hash_IntObj_t : vecHash.h
• Hash_IntObjData0() : vecHash.h
• Hash_IntObjData1() : vecHash.h
• Hash_IntObjData2() : vecHash.h
• Hash_IntWriteEntry() : hashInt.h
• Hash_Ptr_Entry_t : hashPtr.h
• Hash_Ptr_t : hashPtr.h
• Hash_PtrAlloc() : hashPtr.h
• Hash_PtrEntry() : hashPtr.h
• Hash_PtrEntryPtr() : hashPtr.h
• Hash_PtrExists() : hashPtr.h
• Hash_PtrForEachEntry : hashPtr.h
• Hash_PtrFree() : hashPtr.h
• Hash_PtrRemove() : hashPtr.h
• Hash_PtrWriteEntry() : hashPtr.h
• hash_string() : place_test.c
• hashDelete() : cuddLevelQ.c
• HashEntry : cuddBddCorr.c
• HashFailure : dsdProc.c
• hashInsert() : cuddLevelQ.c
• hashKey1 : extraBdd.h
• hashKey2 : extraBdd.h
• hashKey3 : extraBdd.h
• hashKey4 : extraBdd.h
• hashKey5 : extraBdd.h
• hashLookup() : cuddLevelQ.c
• hashResize() : cuddLevelQ.c
• HashSuccess : dsdProc.c
• hasPrefix() : ioWriteSmv.c
• Hcd_ChoiceSynthesis() : giaHcd.c
• Hcd_Compress() : giaHcd.c
• Hcd_Compress2() : giaHcd.c
• Hcd_ComputeChoices() : giaHcd.c
• Hcd_ComputeChoicesTest() : giaHcd.c
• Hcd_Man_t : giaGiarf.c
• Hcd_ManAddNextEntry_rec() : giaHcd.c
• Hcd_ManChoiceMiter() : giaHcd.c
• Hcd_ManChoiceMiter_rec() : giaHcd.c
• Hcd_ManClassClassRemoveOne() : giaGiarf.c
• Hcd_ManClassCreate() : giaGiarf.c
• Hcd_ManClassesCreate() : giaGiarf.c
• Hcd_ManClassesRefine() : giaGiarf.c
• Hcd_ManClassesRehash() : giaGiarf.c
• Hcd_ManClassRefineOne() : giaGiarf.c
• Hcd_ManCompareConst() : giaGiarf.c
• Hcd_ManCompareEqual() : giaGiarf.c
• Hcd_ManEquivToChoices() : giaHcd.c
• Hcd_ManEquivToChoices_rec() : giaHcd.c
• Hcd_ManHashKey() : giaGiarf.c
• Hcd_ManRemoveBadChoices() : giaHcd.c
• Hcd_ManSetDefaultParams() : giaHcd.c
• Hcd_ManSimulateSimple() : giaGiarf.c
• Hcd_ManSimulationInit() : giaGiarf.c
• Hcd_ObjCheckTfi() : giaHcd.c
• Hcd_ObjCheckTfi_rec() : giaHcd.c
• Hcd_ObjSetSim() : giaGiarf.c
• Hcd_ObjSim() : giaGiarf.c
• Hcd_ObjSimP() : giaGiarf.c
• Hcd_Pars_t : giaHcd.c
• HCOMPARE : msatOrderH.c
• HCRC : inflate.h
• HCRC_STATE : deflate.h
• HEAD : inflate.h
• HEAP_SIZE : deflate.h
• heap_sort() : abcSaucy.c
• HEIGHT : avl.c
• HEMPTY : msatOrderH.c
• HHEAP : msatOrderH.c
• HHTable1 : extraBddCas.c
• HHTable2 : extraBddCas.c
• HINHEAP : msatOrderH.c
• HLEFT : msatOrderH.c
• HMETIS_PartKway() : libhmetis.h
• HMETIS_PartRecursive() : libhmetis.h
• HOKAY : msatOrderH.c
• Hop_And() : hop.h , hopOper.c
• Hop_Base10Log() : hop.h
• Hop_Base2Log() : hop.h
• Hop_BitWordNum() : hop.h
• Hop_Complement() : hop.h , hopDfs.c
• Hop_Complement_rec() : hopDfs.c
• Hop_Compose() : hop.h , hopDfs.c
• Hop_Compose_rec() : hopDfs.c
• Hop_ConeCleanAndMark_rec() : hopDfs.c
• Hop_ConeCountAndMark_rec() : hopDfs.c
• Hop_ConeMark_rec() : hopDfs.c
• Hop_ConeUnmark_rec() : hop.h , hopDfs.c
• Hop_CreateAnd() : hop.h , hopOper.c
• Hop_CreateExor() : hop.h , hopOper.c
• Hop_CreateOr() : hop.h , hopOper.c
• Hop_DagSize() : hop.h , hopDfs.c
• Hop_Edge_t : hop.h
• Hop_EdgeCreate() : hop.h
• Hop_EdgeId() : hop.h
• Hop_EdgeIsComplement() : hop.h
• Hop_EdgeNot() : hop.h
• Hop_EdgeNotCond() : hop.h
• Hop_EdgeRegular() : hop.h
• Hop_Exor() : hop.h , hopOper.c
• Hop_Hash() : hopTable.c
• Hop_InfoHasBit() : hop.h
• Hop_InfoSetBit() : hop.h
• Hop_InfoXorBit() : hop.h
• Hop_IsComplement() : hop.h
• Hop_IthVar() : hop.h , hopOper.c
• Hop_Maj() : hop.h , hopOper.c
• Hop_Man_t : hop.h
• Hop_ManAddMemory() : hop.h , hopMem.c
• Hop_ManAndNum() : hop.h
• Hop_ManBalance() : hop.h , hopBalance.c
• Hop_ManCheck() : hop.h , hopCheck.c
• Hop_ManCleanData() : hop.h , hopUtil.c
• Hop_ManCleanup() : hop.h , hopMan.c
• Hop_ManComputeTruth6() : hop.h , hopTruth.c
• Hop_ManComputeTruth6_rec() : hopTruth.c
• Hop_ManConst0() : hop.h
• Hop_ManConst1() : hop.h
• Hop_ManConvertAigToTruth() : hop.h , hopTruth.c
• Hop_ManConvertAigToTruth_rec1() : hopTruth.c
• Hop_ManConvertAigToTruth_rec2() : hopTruth.c
• Hop_ManCountLevels() : hop.h , hopDfs.c
• Hop_ManCreateRefs() : hop.h , hopDfs.c
• Hop_ManDfs() : hop.h , hopDfs.c
• Hop_ManDfs_rec() : hopDfs.c
• Hop_ManDfsNode() : hop.h , hopDfs.c
• Hop_ManDumpBlif() : hop.h , hopUtil.c
• Hop_ManDup() : hop.h
• Hop_ManExorNum() : hop.h
• Hop_ManFetchMemory() : hop.h
• Hop_ManForEachNode : hop.h
• Hop_ManForEachPi : hop.h
• Hop_ManForEachPo : hop.h
• Hop_ManGetCost() : hop.h
• Hop_ManGhost() : hop.h
• Hop_ManIncrementTravId() : hop.h , hopUtil.c
• Hop_ManNodeNum() : hop.h
• Hop_ManObj() : hop.h
• Hop_ManObjNum() : hop.h
• Hop_ManPi() : hop.h
• Hop_ManPiNum() : hop.h
• Hop_ManPo() : hop.h
• Hop_ManPoNum() : hop.h
• Hop_ManPrintStats() : hop.h , hopMan.c
• Hop_ManPrintVerbose() : hop.h , hopUtil.c
• Hop_ManRecycleMemory() : hop.h
• Hop_ManStart() : hopMan.c , hop.h
• Hop_ManStartMemory() : hop.h , hopMem.c
• Hop_ManStop() : hopMan.c , hop.h
• Hop_ManStopMemory() : hop.h , hopMem.c
• Hop_ManTruthClear() : hopTruth.c
• Hop_ManTruthCopy() : hopTruth.c
• Hop_ManTruthFill() : hopTruth.c
• Hop_ManTruthNot() : hopTruth.c
• Hop_ManTruthWordNum() : hopTruth.c
• Hop_Miter() : hop.h , hopOper.c
• Hop_Multi() : hopOper.c
• Hop_Multi_rec() : hopOper.c
• Hop_Mux() : hop.h , hopOper.c
• Hop_NodeBalance_rec() : hopBalance.c
• Hop_NodeBalanceBuildSuper() : hopBalance.c , hop.h
• Hop_NodeBalanceCone() : hopBalance.c
• Hop_NodeBalanceCone_rec() : hopBalance.c
• Hop_NodeBalanceFindLeft() : hopBalance.c
• Hop_NodeBalancePermute() : hopBalance.c
• Hop_NodeBalancePushUniqueOrderByLevel() : hopBalance.c
• Hop_NodeCompareLevelsDecrease() : hopBalance.c
• Hop_Not() : hop.h
• Hop_NotCond() : hop.h
• Hop_Obj_t : hop.h
• Hop_ObjChild0() : hop.h
• Hop_ObjChild0Copy() : hop.h
• Hop_ObjChild0CopyI() : hop.h
• Hop_ObjChild0Hop() : abcHaig.c
• Hop_ObjChild0Next() : abcHaig.c , abcPart.c
• Hop_ObjChild1() : hop.h
• Hop_ObjChild1Copy() : hop.h
• Hop_ObjChild1CopyI() : hop.h
• Hop_ObjChild1Hop() : abcHaig.c
• Hop_ObjChild1Next() : abcPart.c , abcHaig.c
• Hop_ObjClean() : hop.h
• Hop_ObjCleanData_rec() : hop.h , hopUtil.c
• Hop_ObjClearMarkA() : hop.h
• Hop_ObjClearRef() : hop.h
• Hop_ObjCollectMulti() : hop.h , hopUtil.c
• Hop_ObjCollectMulti_rec() : hopUtil.c
• Hop_ObjConnect() : hop.h , hopObj.c
• Hop_ObjCreate() : hopObj.c , hop.h
• Hop_ObjCreateChoice() : hopObj.c , hop.h
• Hop_ObjCreateGhost() : hop.h
• Hop_ObjCreatePi() : hop.h , hopObj.c
• Hop_ObjCreatePo() : hop.h , hopObj.c
• Hop_ObjDelete() : hop.h , hopObj.c
• Hop_ObjDelete_rec() : hop.h , hopObj.c
• Hop_ObjDeref() : hop.h
• Hop_ObjDisconnect() : hopObj.c , hop.h
• Hop_ObjFanin0() : hop.h
• Hop_ObjFanin1() : hop.h
• Hop_ObjFaninC0() : hop.h
• Hop_ObjFaninC1() : hop.h
• Hop_ObjFanoutC() : hop.h
• Hop_ObjFanoutCount() : hop.h , hopDfs.c
• Hop_ObjFanoutCount_rec() : hopDfs.c
• Hop_ObjIsAnd() : hop.h
• Hop_ObjIsConst1() : hop.h
• Hop_ObjIsExor() : hop.h
• Hop_ObjIsExorType() : hopOper.c
• Hop_ObjIsHash() : hop.h
• Hop_ObjIsMarkA() : hop.h
• Hop_ObjIsMuxType() : hopUtil.c , hop.h
• Hop_ObjIsNode() : hop.h
• Hop_ObjIsNone() : hop.h
• Hop_ObjIsPi() : hop.h
• Hop_ObjIsPo() : hop.h
• Hop_ObjIsTerm() : hop.h
• Hop_ObjIsTravIdCurrent() : hop.h
• Hop_ObjIsTravIdPrevious() : hop.h
• Hop_ObjLevel() : hop.h
• Hop_ObjLevelNew() : hop.h
• Hop_ObjPhase() : hop.h
• Hop_ObjPhaseCompl() : hop.h
• Hop_ObjPrintEqn() : hop.h , hopUtil.c
• Hop_ObjPrintVerbose() : hop.h , hopUtil.c
• Hop_ObjPrintVerilog() : hopUtil.c , hop.h
• Hop_ObjRecognizeExor() : hop.h , hopUtil.c
• Hop_ObjRecognizeMux() : hop.h , hopUtil.c
• Hop_ObjRef() : hop.h
• Hop_ObjRefs() : hop.h
• Hop_ObjRepr() : hop.h , hopObj.c
• Hop_ObjReprHop() : abcHaig.c
• Hop_ObjSetMarkA() : hop.h
• Hop_ObjSetTravId() : hop.h
• Hop_ObjSetTravIdCurrent() : hop.h
• Hop_ObjSetTravIdPrevious() : hop.h
• Hop_ObjTravId() : hop.h
• Hop_ObjType() : hop.h
• Hop_ObjWhatFanin() : hop.h
• Hop_Oper() : hopOper.c , hop.h
• Hop_Or() : hopOper.c , hop.h
• Hop_Permute() : hop.h , hopDfs.c
• Hop_Regular() : hop.h
• Hop_Remap() : hop.h , hopDfs.c
• Hop_Remap_rec() : hopDfs.c
• Hop_TableCountEntries() : hopTable.c , hop.h
• Hop_TableDelete() : hop.h , hopTable.c
• Hop_TableFind() : hopTable.c
• Hop_TableInsert() : hopTable.c , hop.h
• Hop_TableLookup() : hopTable.c , hop.h
• Hop_TableProfile() : hopTable.c , hop.h
• Hop_TableResize() : hopTable.c
• Hop_Transfer() : hop.h , hopDfs.c
• Hop_Transfer_rec() : hopDfs.c
• Hop_TruthWordNum() : hop.h
• Hop_Type_t : hop.h
• HPARENT : msatOrderH.c
• HRIGHT : msatOrderH.c
• Hsh_Int3ManHash() : vecHash.h
• Hsh_Int3ManInsert() : vecHash.h
• Hsh_Int3ManLookup() : vecHash.h
• Hsh_IntData() : vecHsh.h
• Hsh_IntMan_t : vecHsh.h
• Hsh_IntManAdd() : vecHsh.h
• Hsh_IntManHash() : vecHsh.h
• Hsh_IntManHashArray() : vecHsh.h
• Hsh_IntManHashArrayTest() : vecHsh.h
• Hsh_IntManLookup() : vecHsh.h
• Hsh_IntManStart() : vecHsh.h
• Hsh_IntManStop() : vecHsh.h
• Hsh_IntObj() : vecHsh.h
• Hsh_IntObj_t : vecHsh.h
• Hsh_IntObjWord_t : vecHsh.h
• Hsh_IntWord() : vecHsh.h
• Hsh_VecMan_t : vecHsh.h
• Hsh_VecManAdd() : vecHsh.h
• Hsh_VecManHash() : vecHsh.h
• Hsh_VecManHashTest() : vecHsh.h
• Hsh_VecManStart() : vecHsh.h
• Hsh_VecManStop() : vecHsh.h
• Hsh_VecObj() : vecHsh.h
• Hsh_VecObj_t : vecHsh.h
• Hsh_VecReadEntry() : vecHsh.h
• Hsh_VecSize() : vecHsh.h
• Hsh_WrdManHashArray() : vecHsh.h
• Hsh_WrdManHashArrayStart() : vecHsh.h
• HSIZE : msatOrderH.c
• HUGE : util_old.h
• HUGE_VAL : util_old.h