• dynTrig : theory_quant.h
• ExprIndex : expr.h
• FormulaValue : formula_value.h
• MonomMap : arith_theorem_producer.cpp , arith_theorem_producer_old.cpp , arith_theorem_producer3.cpp
• QueryResult : queryresult.h
• size_type : hash_table.h , minisat_solver.h
• TheoremMap : theorem.h
• Unsigned : rational.h
• Var : minisat_types.h

---