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

- u -

• 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 : bzlib_private.h
• uint32 : extra.h
• UINT32_MAX : pstdint.h
• uint32_t : Fxch.h
• uint8 : extra.h
• UINT8_MAX : pstdint.h
• uint8_t : Fxch.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
• UNDEF : solver.h
• undefine_cube_size() : cubehack.c
• UNDERSCORE : extraBddKmap.c
• UNDETERMINED : csat_apis.h
• UndoRecentChanges() : exorList.c
• Unit_IsConstant : reo.h
• Unit_Not : reo.h
• Unit_NotCond : reo.h
• UNIT_REASON : assign.h
• Unit_Regular : reo.h
• Unm_Man_t : giaShrink7.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_DIFF_NULL : bmcUnroll.c
• Unr_Man_t : bmc.h
• 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
• Unr_Obj_t : bmcUnroll.c
• unravel() : cvrm.c, espresso.h
• unravel_range() : cvrm.c, espresso.h
• UNSATISFIABLE : csat_apis.h
• unsigned_fifo : fifo.h
• unstable_if_no_profile_mode : cadical_unstable.cpp
• UNTIL : ltl_parser.c
• unwrap_onset : espresso.h, globals.c
• UOP : ltl_parser.c
• updataInfo() : luckyFast16.c
• UPDATE : inflate.c
• UPDATE_AVERAGE : ema.hpp, averages.h
• UPDATE_CONFLICT_LIMIT : kimits.h
• UPDATE_HASH : deflate.c
• UPDATE_STATUS : cadical_kitten.c, kitten.c
• updateAnteConseVectors() : disjunctiveMonotone.c
• updateLtlStoreOfNtk() : ioUtil.c
• updateNewNetworkNameManager() : liveness.c
• UPDATEVARACTIVITY : Constants.h
• updatewindow() : inflate.c
• UPHEAP : huffman.c
• usage() : 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_GLUCOSE2 : cecSatG2.c, cecSatG3.c, cecSolveG.c
• USE_INDEP_SET : mincov.c
• use_random_order : espresso.h, globals.c
• USE_SIMP_SOLVER : AbcGlucose.cpp, AbcGlucose2.cpp
• use_super_gasp : espresso.h, globals.c
• USEFULNESS : reduce.c
• 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.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_optarg : util_old.h
• util_optind : util_old.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