- u -

• UINT16_MAX : lex.mpoly.c , lex.yy.c
• UINT32_MAX : lex.yy.c , lex.mpoly.c
• UINT8_MAX : lex.mpoly.c , lex.yy.c
• unimul : solver_bb_mod.cpp , solver_bb_mod_async.cpp , solver_bb_rational.cpp , solver_opt.cpp , solver_bb_floating.cpp
• uninf : solver_bb_mod.cpp , solver_bb_mod_async.cpp , solver_bb_floating.cpp , solver_opt.cpp , solver_bb_rational.cpp
• unput : lex.mpoly.c , lex.yy.c