diff options
Diffstat (limited to 'src/util/subrange_bound.i')
| -rw-r--r-- | src/util/subrange_bound.i | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/util/subrange_bound.i b/src/util/subrange_bound.i index c619b5e31..c12bd11e4 100644 --- a/src/util/subrange_bound.i +++ b/src/util/subrange_bound.i @@ -16,6 +16,9 @@ %rename(greater) CVC4::SubrangeBounds::operator>(const SubrangeBounds&) const; %rename(greaterEqual) CVC4::SubrangeBounds::operator>=(const SubrangeBounds&) const; +%rename(apply) CVC4::SubrangeBoundsHashFunction::operator()(const SubrangeBounds&) const; + %ignore CVC4::operator<<(std::ostream&, const SubrangeBound&); +%ignore CVC4::operator<<(std::ostream&, const SubrangeBounds&); %include "util/subrange_bound.h" |