- u -

• UAbuildSubset() : cuddApprox.c
• UAmarkNodes() : cuddApprox.c
• unate_compl() : unate.c , espresso.h
• unate_complement() : espresso.h , unate.c
• unate_intersect() : unate.c , espresso.h
• uncof_output() : cvrm.c , espresso.h
• uncompress() : uncompr.c
• undefine_cube_size() : cubehack.c
• Unm_ManAlloc() : giaShrink7.c
• Unm_ManCheckTest() : utilTruth.h
• Unm_ManCheckTest2() : utilTruth.h
• Unm_ManCollectDecomp() : giaShrink7.c
• Unm_ManComputePairs() : giaShrink7.c
• Unm_ManComputeTruths() : giaShrink7.c
• Unm_ManFindUsedNodes() : giaShrink7.c
• Unm_ManFree() : giaShrink7.c
• Unm_ManPrintPairStats() : giaShrink7.c
• Unm_ManTest() : giaShrink7.c
• Unm_ManWork() : giaShrink7.c
• unprepare_permutation() : abcSaucy.c
• unprepare_permutation_ntk() : abcSaucy.c
• Unr_ManAlloc() : bmcUnroll.c
• Unr_ManFanin0Value() : bmcUnroll.c
• Unr_ManFanin1Value() : bmcUnroll.c
• Unr_ManFree() : bmc.h , bmcUnroll.c
• Unr_ManObj() : bmcUnroll.c
• Unr_ManObjReadValue() : bmcUnroll.c
• Unr_ManObjSetValue() : bmcUnroll.c
• Unr_ManProfileRanks() : bmcUnroll.c
• Unr_ManSetup() : bmcUnroll.c
• Unr_ManSetup_rec() : bmcUnroll.c
• Unr_ManTest() : bmcUnroll.c
• Unr_ManUnroll() : bmcUnroll.c
• Unr_ManUnrollFrame() : bmc.h , bmcUnroll.c
• Unr_ManUnrollSimple() : bmcUnroll.c
• Unr_ManUnrollStart() : bmc.h , bmcUnroll.c
• Unr_ObjSize() : bmcUnroll.c
• Unr_ObjSizeInt() : bmcUnroll.c
• unravel() : espresso.h , cvrm.c
• unravel_range() : cvrm.c , espresso.h
• unRLE_obuf_to_output_FAST() : bzlib.c
• unRLE_obuf_to_output_SMALL() : bzlib.c
• updataInfo() : luckyFast16.c
• update_theta() : abcSaucy.c
• updateAnteConseVectors() : disjunctiveMonotone.c
• updateEntry() : cuddExact.c
• updateLtlStoreOfNtk() : ioUtil.c
• updateNewNetworkNameManager() : liveness.c , liveness_sim.c
• updateParity() : cuddApprox.c
• updateRefs() : cuddApprox.c
• updateUB() : cuddExact.c
• updatewindow() : inflate.c
• usage() : misc/espresso/main.c , testcudd.c
• Util_ComparePointers() : utilMem.c
• util_getopt() : espresso.h
• Util_MemQuit() : utilMem.h
• Util_MemRecAlloc() : utilMem.h , utilMem.c
• Util_MemRecFree() : utilMem.c , utilMem.h
• Util_MemRecIsSet() : utilMem.h , utilMem.c
• Util_MemRecQuit() : utilMem.c
• Util_MemRecRecycle() : utilMem.c
• Util_MemRecStart() : utilMem.c
• Util_MemRecycle() : utilMem.h
• Util_MemStart() : utilMem.h
• Util_SignalSystem() : utilSignal.h , utilSignal.c
• Util_SignalTmpFile() : utilSignal.h , utilSignal.c
• Util_SignalTmpFileRemove() : utilSignal.h , utilSignal.c