- u -

• ULLONG_MAX : portability.h
• UNIQUE_SLOTS : dd.h
• UNKNOWN_OP : bmcUtils.h
• UNUSED_PARAM : defs.h
• UNUSED_VAR : defs.h
• USE_ANSI_C_DIV_OP : opt.h
• USE_COI_SIZE_SORTING : opt.h
• USE_FAIR_STATES : opt.h
• USE_REACHABLE_STATES : opt.h
• USTRING_MGR : UStringMgr.h
• USTRING_MGR_CHECK_INSTANCE : UStringMgr.h
• utils_random : defs.h
• utils_random_set_seed : defs.h