Added the capability to construct expressions by passing the operator instead of the kind, i.e.

Expr op = ..."f"...
em.mkExpr(op, children);

Operator kinds are automatically associated with the enclosing expression kind in the DSL and generated.

1 files changed, 4 insertions, 0 deletions

diff --git a/src/util/bitvector.cpp b/src/util/bitvector.cpp
index bea06f71a..125065118 100644
--- a/src/util/bitvector.cpp
+++ b/src/util/bitvector.cpp
@@ -13,4 +13,8 @@ std::ostream& operator <<(std::ostream& os, const BitVector& bv) {
   return os << bv.toString();
 }
 
+std::ostream& operator <<(std::ostream& os, const BitVectorExtract& bv) {
+  return os << "[" << bv.high << ":" << bv.low << "]";
+}
+
 }