src/util/cardinality.i

   1 %{
   2 #include "util/cardinality.h"
   3 %}
   4
   5 %feature("valuewrapper") CVC4::CardinalityBeth;
   6
   7 %rename(plusAssign) CVC4::Cardinality::operator+=(const Cardinality&);
   8 %rename(timesAssign) CVC4::Cardinality::operator*=(const Cardinality&);
   9 %rename(powerAssign) CVC4::Cardinality::operator^=(const Cardinality&);
  10 %rename(plus) CVC4::Cardinality::operator+(const Cardinality&) const;
  11 %rename(times) CVC4::Cardinality::operator*(const Cardinality&) const;
  12 %rename(power) CVC4::Cardinality::operator^(const Cardinality&) const;
  13 %rename(equals) CVC4::Cardinality::operator==(const Cardinality&) const;
  14 %ignore CVC4::Cardinality::operator!=(const Cardinality&) const;
  15 %rename(less) CVC4::Cardinality::operator<(const Cardinality&) const;
  16 %rename(lessEqual) CVC4::Cardinality::operator<=(const Cardinality&) const;
  17 %rename(greater) CVC4::Cardinality::operator>(const Cardinality&) const;
  18 %rename(greaterEqual) CVC4::Cardinality::operator>=(const Cardinality&) const;
  19
  20 %ignore CVC4::operator<<(std::ostream&, const Cardinality&);
  21 %ignore CVC4::operator<<(std::ostream&, CardinalityBeth);
  22
  23 %include "util/cardinality.h"