Add table.product operator (#8020)

[cvc5.git] / src / theory / bags / bag_solver.h

diff --git a/src/theory/bags/bag_solver.h b/src/theory/bags/bag_solver.h
index fca72b22e8046e9265ad237293e0d7afd66d11cb..eb578aafd7b527f7f06b0975cd355a1634b3914f 100644 (file)
--- a/src/theory/bags/bag_solver.h
+++ b/src/theory/bags/bag_solver.h
@@ -98,6 +98,8 @@ class BagSolver : protected EnvObj
   void checkMap(Node n);
   /** apply inference rules for filter operator */
   void checkFilter(Node n);
+  /** apply inference rules for product operator */
+  void checkProduct(Node n);
 
   /** The solver state object */
   SolverState& d_state;