Pretty-printer infrastructure created (in src/printer) and SMT-LIBv2 printer

implemented.  This new infrastructure removes support for pretty-printing
(even in the AST language) an Expr with reference count 0.  Previously,
this was supported in a few places internally to the expr package, for
example in NodeBuilder.  (Now, a NodeBuilder cannot be prettyprinted, you
must extract the Node before printing it.)

1 files changed, 5 insertions, 1 deletions

diff --git a/src/util/bitvector.h b/src/util/bitvector.h
index 51239cbbb..d1bfafb00 100644
--- a/src/util/bitvector.h
+++ b/src/util/bitvector.h
@@ -122,7 +122,11 @@ public:
   unsigned getSize() const {
     return d_size;
   }
-};
+
+  const Integer& getValue() const {
+    return d_value;
+  }
+};/* class BitVector */
 
 inline BitVector::BitVector(const std::string& num, unsigned base) {
   AlwaysAssert( base == 2 || base == 16 );