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