diff options
author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-04-29 23:42:41 +0000 |
---|---|---|
committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-04-29 23:42:41 +0000 |
commit | 349131957e91150c24a9c69f5e1f04e34494b0c6 (patch) | |
tree | 8012c2475dde1f1177f693643fb1a07e89c29538 /src/util/bitvector.cpp | |
parent | ac8b46fe3b5256e387da724b7c3abfb59d25531e (diff) |
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.
Diffstat (limited to 'src/util/bitvector.cpp')
-rw-r--r-- | src/util/bitvector.cpp | 4 |
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 << "]"; +} + } |