• CareSet : preprocess.cpp, expr_transform.cpp
• CareSetPtr : preprocess.cpp, expr_transform.cpp
• ClauseIdx : xchaff_base.h
• ExprIndex : expr.h
• HookFunPtrT : xchaff_solver.h
• MonomMap : arith_theorem_producer.cpp
• Queue : preprocess.cpp, expr_transform.cpp
• QueuePtr : preprocess.cpp, expr_transform.cpp
• Str_To_Expr : vcl.h
• StrPair : cvclutil.h
• Table : preprocess.cpp, expr_transform.cpp
• TheoremMap : theorem.h
• Unknown : xchaff_base.h
• void_pointer : hash.h
• void_ptr : dictionary.h

---