diff options
Diffstat (limited to 'src/util/cardinality.i')
-rw-r--r-- | src/util/cardinality.i | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/src/util/cardinality.i b/src/util/cardinality.i new file mode 100644 index 000000000..760f746c0 --- /dev/null +++ b/src/util/cardinality.i @@ -0,0 +1,23 @@ +%{ +#include "util/cardinality.h" +%} + +%feature("valuewrapper") CVC4::Cardinality::Beth; + +%rename(plusAssign) CVC4::Cardinality::operator+=(const Cardinality&); +%rename(timesAssign) CVC4::Cardinality::operator*=(const Cardinality&); +%rename(powerAssign) CVC4::Cardinality::operator^=(const Cardinality&); +%rename(plus) CVC4::Cardinality::operator+(const Cardinality&) const; +%rename(times) CVC4::Cardinality::operator*(const Cardinality&) const; +%rename(power) CVC4::Cardinality::operator^(const Cardinality&) const; +%rename(equals) CVC4::Cardinality::operator==(const Cardinality&) const; +%ignore CVC4::Cardinality::operator!=(const Cardinality&) const; +%rename(less) CVC4::Cardinality::operator<(const Cardinality&) const; +%rename(lessEqual) CVC4::Cardinality::operator<=(const Cardinality&) const; +%rename(greater) CVC4::Cardinality::operator>(const Cardinality&) const; +%rename(greaterEqual) CVC4::Cardinality::operator>=(const Cardinality&) const; + +%ignore CVC4::operator<<(std::ostream&, const Cardinality&); +%ignore CVC4::operator<<(std::ostream&, Cardinality::Beth); + +%include "util/cardinality.h" |