blob: 8eb6158aed680ebd0712222277ee8969b67b1670 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
|
%{
#include "util/bitvector.h"
%}
%ignore CVC4::BitVector::BitVector(unsigned, unsigned);
%rename(assign) CVC4::BitVector::operator=(const BitVector&);
%rename(equals) CVC4::BitVector::operator==(const BitVector&) const;
%ignore CVC4::BitVector::operator!=(const BitVector&) const;
%rename(plus) CVC4::BitVector::operator+(const BitVector&) const;
%rename(minus) CVC4::BitVector::operator-(const BitVector&) const;
%rename(minus) CVC4::BitVector::operator-() const;
%rename(times) CVC4::BitVector::operator*(const BitVector&) const;
%rename(bitXor) CVC4::BitVector::operator^(const BitVector&) const;
%rename(bitOr) CVC4::BitVector::operator|(const BitVector&) const;
%rename(bitAnd) CVC4::BitVector::operator&(const BitVector&) const;
%rename(complement) CVC4::BitVector::operator~() const;
%rename(less) CVC4::BitVector::operator<(const BitVector&) const;
%rename(lessEqual) CVC4::BitVector::operator<=(const BitVector&) const;
%rename(greater) CVC4::BitVector::operator>(const BitVector&) const;
%rename(greaterEqual) CVC4::BitVector::operator>=(const BitVector&) const;
%rename(equals) CVC4::BitVectorExtract::operator==(const BitVectorExtract&) const;
%rename(equals) CVC4::BitVectorBitOf::operator==(const BitVectorBitOf&) const;
%rename(toUnsigned) CVC4::BitVectorSize::operator unsigned() const;
%rename(toUnsigned) CVC4::BitVectorRepeat::operator unsigned() const;
%rename(toUnsigned) CVC4::BitVectorZeroExtend::operator unsigned() const;
%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"
|
