• ClauseIdx : xchaff_base.h
• dynTrig : theory_quant.h
• ExprIndex : expr.h
• HookFunPtrT : xchaff_solver.h
• MonomMap : arith_theorem_producer.cpp , arith_theorem_producer_old.cpp
• QueryResult : queryresult.h
• size_type : hash_table.h , minisat_solver.h
• TheoremMap : theorem.h
• Var : minisat_types.h

---