Here is a list of all functions with links to the files they belong to:

- u -

• unate_compl() : espresso.h, unate.c
• unate_complement() : espresso.h, unate.c
• unate_intersect() : espresso.h, unate.c
• uncof_output() : cvrm.c, espresso.h
• uncompress() : uncompr.c
• undefine_cube_size() : cubehack.c
• UndoRecentChanges() : exorList.c
• Unm_ManAlloc() : giaShrink7.c
• 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_ntk() : abcSaucy.c
• Unr_ManAlloc() : bmcUnroll.c
• Unr_ManFree() : bmc.h, 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
• unravel() : cvrm.c, espresso.h
• unravel_range() : cvrm.c, espresso.h
• updataInfo() : luckyFast16.c
• updateAnteConseVectors() : disjunctiveMonotone.c
• updateLtlStoreOfNtk() : ioUtil.c
• updateNewNetworkNameManager() : liveness.c
• updatewindow() : inflate.c
• usage() : main.c
• Util_ComparePointers() : utilMem.c
• util_getopt() : espresso.h
• Util_MemQuit() : utilMem.h
• Util_MemRecAlloc() : utilMem.c, utilMem.h
• Util_MemRecFree() : utilMem.c, utilMem.h
• Util_MemRecIsSet() : utilMem.c, utilMem.h
• Util_MemRecQuit() : utilMem.c
• Util_MemRecRecycle() : utilMem.c
• Util_MemRecStart() : utilMem.c
• Util_MemRecycle() : utilMem.h
• Util_MemStart() : utilMem.h
• Util_ProcessThreads() : abc_global.h, utilPth.c
• Util_SignalSystem() : utilSignal.c, utilSignal.h
• Util_SignalTmpFile() : utilSignal.c, utilSignal.h
• Util_SignalTmpFileRemove() : utilSignal.c, utilSignal.h