From 9ab592ce3765d07b6dbdb9c1d9b62dc8045e784e Mon Sep 17 00:00:00 2001
From: Richard Qin <richard.qin.x@gmail.com>
Date: Fri, 3 Apr 2026 02:46:12 +0800
Subject: feat: implement core term, symbol, and clause storage logic with
 canonicalization support

---
 include/atp/core/clause_store.h | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'include/atp/core/clause_store.h')

diff --git a/include/atp/core/clause_store.h b/include/atp/core/clause_store.h
index 6e220cc..23db996 100644
--- a/include/atp/core/clause_store.h
+++ b/include/atp/core/clause_store.h
@@ -54,6 +54,9 @@ class ClauseStore {
 
     /// Iterate over all clauses with a visitor.
     void forEach(const std::function<void(const Clause&)>& visitor) const;
+    // function may have type erasure overhead, consider using a template
+    // template <typename Visitor>
+    // void forEach(Visitor&& visitor) const;
 
   private:
     std::vector<Clause> clauses_;
-- 
cgit v1.2.3