diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-12-03 20:49:39 -0500 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-12-03 20:50:38 -0500 |
| commit | ce3b3b2c4aebff1cde3e7979c1a0eabb1c8dd695 (patch) | |
| tree | 17296cf243c4424f9b464f824c762e0fd86420a7 /src/util/bitvector.i | |
| parent | 42a873d8b3b6c5a50648b68ad95aaef365fab26e (diff) | |
Some fixes for swig warnings.
Diffstat (limited to 'src/util/bitvector.i')
| -rw-r--r-- | src/util/bitvector.i | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/util/bitvector.i b/src/util/bitvector.i index 220e284b3..8eb6158ae 100644 --- a/src/util/bitvector.i +++ b/src/util/bitvector.i @@ -29,8 +29,15 @@ %rename(toUnsigned) CVC4::BitVectorSignExtend::operator unsigned() const; %rename(toUnsigned) CVC4::BitVectorRotateLeft::operator unsigned() const; %rename(toUnsigned) CVC4::BitVectorRotateRight::operator unsigned() const; +%rename(toUnsigned) CVC4::IntToBitVector::operator unsigned() const; + +%rename(apply) CVC4::BitVectorHashFunction::operator()(const BitVector&) const; +%rename(apply) CVC4::BitVectorExtractHashFunction::operator()(const BitVectorExtract&) const; +%rename(apply) CVC4::BitVectorBitOfHashFunction::operator()(const BitVectorBitOf&) const; %ignore CVC4::operator<<(std::ostream&, const BitVector&); %ignore CVC4::operator<<(std::ostream&, const BitVectorExtract&); +%ignore CVC4::operator<<(std::ostream&, const BitVectorBitOf&); +%ignore CVC4::operator<<(std::ostream&, const IntToBitVector&); %include "util/bitvector.h" |