diff options
Diffstat (limited to 'src/util/cardinality.i')
-rw-r--r-- | src/util/cardinality.i | 34 |
1 files changed, 2 insertions, 32 deletions
diff --git a/src/util/cardinality.i b/src/util/cardinality.i index 4e1382f87..c88037cfe 100644 --- a/src/util/cardinality.i +++ b/src/util/cardinality.i @@ -2,7 +2,7 @@ #include "util/cardinality.h" %} -%feature("valuewrapper") CVC4::Cardinality::Beth; +%feature("valuewrapper") CVC4::CardinalityBeth; %rename(plusAssign) CVC4::Cardinality::operator+=(const Cardinality&); %rename(timesAssign) CVC4::Cardinality::operator*=(const Cardinality&); @@ -18,36 +18,6 @@ %rename(greaterEqual) CVC4::Cardinality::operator>=(const Cardinality&) const; %ignore CVC4::operator<<(std::ostream&, const Cardinality&); -%ignore CVC4::operator<<(std::ostream&, Cardinality::Beth); - -namespace CVC4 { - class Beth { - Integer d_index; - - public: - Beth(const Integer& beth) : d_index(beth) { - CheckArgument(beth >= 0, beth, - "Beth index must be a nonnegative integer, not %s.", - beth.toString().c_str()); - } - - const Integer& getNumber() const throw() { - return d_index; - } - };/* class Cardinality::Beth */ - - class Unknown { - public: - Unknown() throw() {} - ~Unknown() throw() {} - };/* class Cardinality::Unknown */ -} +%ignore CVC4::operator<<(std::ostream&, CardinalityBeth); %include "util/cardinality.h" - -%{ -namespace CVC4 { - typedef CVC4::Cardinality::Beth Beth; - typedef CVC4::Cardinality::Unknown Unknown; -} -%} |