2 files changed, 7 insertions, 0 deletions
diff --git a/src/include/cvc4_config.h b/src/include/cvc4_config.h
index e571f5969..ccc07b40a 100644
--- a/src/include/cvc4_config.h
+++ b/src/include/cvc4_config.h
@@ -39,3 +39,6 @@
 #  define CVC4_PUBLIC
 
 #endif /* __BUILDING_CVC4LIB */
+
+#define EXPECT_TRUE(x) __builtin_expect( (x), true)
+#define EXPECT_FALSE(x) __builtin_expect( (x), false)
diff --git a/src/include/cvc4_expr.h b/src/include/cvc4_expr.h
index 36d771647..d99708991 100644
--- a/src/include/cvc4_expr.h
+++ b/src/include/cvc4_expr.h
@@ -78,6 +78,10 @@ public:
   Expr substExpr(const std::vector<Expr>& oldTerms,
                  const std::vector<Expr>& newTerms) const;
 
+  Expr plusExpr(const Expr& right) const;
+  Expr uMinusExpr() const;
+  Expr multExpr(const Expr& right) const;
+
   inline Kind getKind() const;
 
   static Expr null() { return s_null; }