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

- u -

• UINT16_MAX : pstdint.h
• UINT32_MAX : pstdint.h
• UINT8_MAX : pstdint.h
• UINT_FAST16_MAX : pstdint.h
• UINT_FAST32_MAX : pstdint.h
• UINT_FAST8_MAX : pstdint.h
• UINT_LEAST16_MAX : pstdint.h
• UINT_LEAST32_MAX : pstdint.h
• UINT_LEAST8_MAX : pstdint.h
• UINTMAX_C : pstdint.h
• UINTMAX_MAX : pstdint.h
• ULONG_LONG_MAX : pstdint.h
• UNALIGNED_BH : blocksort.c
• UNDEF : solver.h
• UNDERSCORE : extraBddKmap.c
• Unit_IsConstant : reo.h
• Unit_Not : reo.h
• Unit_NotCond : reo.h
• UNIT_REASON : assign.h
• Unit_Regular : reo.h
• UNR_DIFF_NULL : bmcUnroll.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
• UPDATEVARACTIVITY : Constants.h
• UPHEAP : huffman.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_SIMP_SOLVER : AbcGlucose.cpp, AbcGlucose2.cpp
• USEFULNESS : reduce.c
• util_cpu_time : util_hack.h