X-Git-Url: https://git.libre-soc.org/?a=blobdiff_plain;f=src%2Fapi%2Fcpp%2Fcvc5_kind.h;h=112b53eb7124e82ae9a69b232a00bafe4aea7fa5;hb=3eb47718f6e24cc719094732b639e1d8b73012a4;hp=1609fb22146c220d3e3fe7219e51fb69b323c346;hpb=bf91c668b9f5089d6e4d9f9b254d7fca302cdf7f;p=cvc5.git

diff --git a/src/api/cpp/cvc5_kind.h b/src/api/cpp/cvc5_kind.h
index 1609fb221..112b53eb7 100644
--- a/src/api/cpp/cvc5_kind.h
+++ b/src/api/cpp/cvc5_kind.h
@@ -2572,6 +2572,17 @@ enum Kind : int32_t
    *   - `Solver::mkTerm(Kind kind, const std::vector<Term>& children) const`
    */
   BAG_FOLD,
+  /**
+   * Table cross product.
+   *
+   * Parameters:
+   *   - 1..2: Terms of bag sort
+   *
+   * Create with:
+   *   - `Solver::mkTerm(Kind kind, const Term& child1, const Term& child2) const`
+   *   - `Solver::mkTerm(Kind kind, const std::vector<Term>& children) const`
+   */
+  TABLE_PRODUCT,
 
   /* Strings --------------------------------------------------------------- */