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