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
• HALF_LEFT : extraBddKmap.c
• HALF_LOWER : extraBddKmap.c
• HALF_RIGHT : extraBddKmap.c
• HALF_UPPER : extraBddKmap.c
• Hash_DefaultHashFunc() : hashFlt.h , hashInt.h , hashPtr.h , hash.h
• 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_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_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
• hashDelete() : cuddLevelQ.c
• HashEntry : cuddBddCorr.c
• HashFailure : dsdProc.c
• hashInsert() : cuddLevelQ.c
• hashKey1 : extra.h
• hashKey2 : extra.h
• hashKey3 : extra.h
• hashKey4 : extra.h
• hashKey5 : extra.h
• hashLookup() : cuddLevelQ.c
• hashResize() : cuddLevelQ.c
• HashSuccess : dsdProc.c
• HCOMPARE : msatOrderH.c
• HEMPTY : msatOrderH.c
• HHEAP : msatOrderH.c
• HHTable1 : extraBddCas.c
• HHTable2 : extraBddCas.c
• HINHEAP : msatOrderH.c
• HLEFT : msatOrderH.c
• HOKAY : msatOrderH.c
• Hop_And() : hop.h , hopOper.c
• Hop_Base10Log() : hop.h
• Hop_Base2Log() : hop.h
• Hop_BitWordNum() : hop.h
• 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() : 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_ManConst0() : hop.h
• Hop_ManConst1() : hop.h
• 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() : hop.h , hopMan.c
• Hop_ManStartMemory() : hop.h , hopMem.c
• Hop_ManStop() : hop.h , hopMan.c
• Hop_ManStopMemory() : hop.h , hopMem.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() : hop.h , hopBalance.c
• 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_ObjChild0Hop() : abcHaig.c
• Hop_ObjChild0Next() : abcHaig.c , abcPart.c
• Hop_ObjChild1() : hop.h
• Hop_ObjChild1Copy() : hop.h
• Hop_ObjChild1Hop() : abcHaig.c
• Hop_ObjChild1Next() : abcHaig.c , abcPart.c
• Hop_ObjClean() : hop.h
• Hop_ObjCleanData_rec() : hop.h , hopUtil.c
• Hop_ObjClearMarkA() : hop.h
• Hop_ObjClearRef() : hop.h
• Hop_ObjCollectMulti() : hopUtil.c , hop.h
• Hop_ObjCollectMulti_rec() : hopUtil.c
• Hop_ObjConnect() : hop.h , hopObj.c
• Hop_ObjCreate() : hop.h , hopObj.c
• Hop_ObjCreateChoice() : hop.h , hopObj.c
• Hop_ObjCreateGhost() : hop.h
• Hop_ObjCreatePi() : hopObj.c , hop.h
• Hop_ObjCreatePo() : hop.h , hopObj.c
• Hop_ObjDelete() : hopObj.c , hop.h
• Hop_ObjDelete_rec() : hopObj.c , hop.h
• Hop_ObjDeref() : hop.h
• Hop_ObjDisconnect() : hop.h , hopObj.c
• Hop_ObjFanin0() : hop.h
• Hop_ObjFanin1() : hop.h
• Hop_ObjFaninC0() : hop.h
• Hop_ObjFaninC1() : hop.h
• Hop_ObjFaninPhase() : hop.h
• Hop_ObjFanoutC() : hop.h
• 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_ObjPrintEqn() : hop.h , hopUtil.c
• Hop_ObjPrintVerbose() : hopUtil.c , hop.h
• Hop_ObjPrintVerilog() : hop.h , hopUtil.c
• Hop_ObjRecognizeExor() : hop.h , hopUtil.c
• Hop_ObjRecognizeMux() : hopUtil.c , hop.h
• 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_Regular() : hop.h
• Hop_TableCountEntries() : hop.h , hopTable.c
• Hop_TableDelete() : hopTable.c , hop.h
• Hop_TableFind() : hopTable.c
• Hop_TableInsert() : hop.h , hopTable.c
• Hop_TableLookup() : hop.h , hopTable.c
• Hop_TableProfile() : hopTable.c , hop.h
• Hop_TableResize() : hopTable.c
• Hop_Transfer() : hopDfs.c , hop.h
• Hop_Transfer_rec() : hopDfs.c
• Hop_TruthWordNum() : hop.h
• Hop_Type_t : hop.h
• HPARENT : msatOrderH.c
• HRIGHT : msatOrderH.c
• HSIZE : msatOrderH.c
• HUGE : util_old.h
• HUGE_VAL : util_old.h