src/util/divisible.i

   1 %{
   2 #include "util/divisible.h"
   3 %}
   4
   5 %rename(equals) CVC4::Divisible::operator==(const Divisible&) const;
   6 %ignore CVC4::Divisible::operator!=(const Divisible&) const;
   7
   8 %ignore CVC4::operator<<(std::ostream&, const Divisible&);
   9
  10 %include "util/divisible.h"