- u -

• UCONST : kinds.h
• UFUNC : kinds.h
• Ukn : theory_quant.h
• UMINUS : theory_arith.h
• UNDETERMINED : xchaff_solver.h
• UNKNOWN : queryresult.h , xchaff_base.h
• UNSATISFIABLE : xchaff_solver.h , queryresult.h
• UNTRACE : kinds.h

---