1 files changed, 9 insertions, 0 deletions
diff --git a/src/theory/inference_id.h b/src/theory/inference_id.h
index f32c80b68..b3be59c5c 100644
--- a/src/theory/inference_id.h
+++ b/src/theory/inference_id.h
@@ -20,6 +20,8 @@
 
 #include <iosfwd>
 
+#include "expr/node.h"
+
 namespace cvc5 {
 namespace theory {
 
@@ -378,9 +380,13 @@ enum class InferenceId
 
   // ---------------------------------- sets theory
   //-------------------- sets core solver
+  // split when computing care graph
+  SETS_CG_SPLIT,
   SETS_COMPREHENSION,
   SETS_DEQ,
   SETS_DOWN_CLOSURE,
+  // conflict when two singleton/emptyset terms merge
+  SETS_EQ_CONFLICT,
   SETS_EQ_MEM,
   SETS_EQ_MEM_CONFLICT,
   SETS_MEM_EQ,
@@ -782,6 +788,9 @@ const char* toString(InferenceId i);
  */
 std::ostream& operator<<(std::ostream& out, InferenceId i);
 
+/** Make node from inference id */
+Node mkInferenceIdNode(InferenceId i);
+
 }  // namespace theory
 }  // namespace cvc5