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

- u -

• UAbuildSubset() : cuddApprox.c
• UAmarkNodes() : cuddApprox.c
• uch : zutil.h
• UChar : bzlib_private.h
• uchf : zutil.h
• uInt : zconf.h
• UInt16 : bzlib_private.h
• uint16 : extra.h
• UINT16_MAX : pstdint.h
• uint32 : extra.h
• UInt32 : bzlib_private.h
• UINT32_MAX : pstdint.h
• uint8 : extra.h
• UINT8_MAX : pstdint.h
• UINT_FAST16_MAX : pstdint.h
• uint_fast16_t : pstdint.h
• UINT_FAST32_MAX : pstdint.h
• uint_fast32_t : pstdint.h
• UINT_FAST8_MAX : pstdint.h
• uint_fast8_t : pstdint.h
• UINT_LEAST16_MAX : pstdint.h
• uint_least16_t : pstdint.h
• UINT_LEAST32_MAX : pstdint.h
• uint_least32_t : pstdint.h
• UINT_LEAST8_MAX : pstdint.h
• uint_least8_t : pstdint.h
• uIntf : zconf.h
• UINTMAX_C : pstdint.h
• UINTMAX_MAX : pstdint.h
• uintmax_t : pstdint.h
• ulg : zutil.h
• uLong : zconf.h
• ULONG_LONG_MAX : pstdint.h
• uLongf : zconf.h
• UNALIGNED_BH : blocksort.c
• 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
• UNDERSCORE : extraBddKmap.c
• UNDETERMINED : csat_apis.h
• Unit_IsConstant : reo.h
• Unit_Not : reo.h
• Unit_NotCond : reo.h
• Unit_Regular : reo.h
• Unm_Man_t : giaShrink7.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_DIFF_NULL : bmcUnroll.c
• Unr_Man_t : bmc.h
• 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_Obj_t : bmcUnroll.c
• Unr_ObjSize() : bmcUnroll.c
• Unr_ObjSizeInt() : bmcUnroll.c
• unravel() : cvrm.c , espresso.h
• unravel_range() : espresso.h , cvrm.c
• unRLE_obuf_to_output_FAST() : bzlib.c
• unRLE_obuf_to_output_SMALL() : bzlib.c
• UNSATISFIABLE : csat_apis.h
• UNTIL : ltl_parser.c
• unwrap_onset : espresso.h , globals.c
• UOP : ltl_parser.c
• updataInfo() : luckyFast16.c
• UPDATE : inflate.c
• UPDATE_HASH : deflate.c
• update_theta() : abcSaucy.c
• updateAnteConseVectors() : disjunctiveMonotone.c
• updateEntry() : cuddExact.c
• updateLtlStoreOfNtk() : ioUtil.c
• updateNewNetworkNameManager() : liveness_sim.c , liveness.c
• updateParity() : cuddApprox.c
• updateRefs() : cuddApprox.c
• updateUB() : cuddExact.c
• updatewindow() : inflate.c
• UPHEAP : huffman.c
• usage() : testcudd.c , misc/espresso/main.c
• USE_COMPL_LIFT : compl.c
• USE_COMPL_LIFT_ONSET : compl.c
• USE_COMPL_LIFT_ONSET_COMPLEX : compl.c
• USE_GIMPEL : mincov.c
• USE_INDEP_SET : mincov.c
• use_random_order : espresso.h , globals.c
• use_super_gasp : globals.c , espresso.h
• ush : zutil.h
• ushf : zutil.h
• Util_ComparePointers() : utilMem.c
• util_cpu_time : util_hack.h
• util_getopt() : espresso.h
• Util_MemQuit() : utilMem.h
• Util_MemRecAlloc() : utilMem.c , utilMem.h
• Util_MemRecFree() : utilMem.h , utilMem.c
• 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_optarg : util_old.h
• util_optind : util_old.h
• Util_SignalSystem() : utilSignal.c , utilSignal.h
• Util_SignalTmpFile() : utilSignal.h , utilSignal.c
• Util_SignalTmpFileRemove() : utilSignal.h , utilSignal.c