blob: 42e13046633657693cc4c9f58aef926fd5fe6f0a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
%{
#include "expr/expr_sequence.h"
%}
%rename(equals) CVC4::ExprSequence::operator==(const ExprSequence&) const;
%ignore CVC4::ExprSequence::operator!=(const ExprSequence&) const;
%ignore CVC4::ExprSequence::getSequence() const;
%rename(less) CVC4::ExprSequence::operator<(const ExprSequence&) const;
%rename(lessEqual) CVC4::ExprSequence::operator<=(const ExprSequence&) const;
%rename(greater) CVC4::ExprSequence::operator>(const ExprSequence&) const;
%rename(greaterEqual) CVC4::ExprSequence::operator>=(const ExprSequence&) const;
%rename(apply) CVC4::ExprSequenceHashFunction::operator()(const ExprSequence&) const;
%ignore CVC4::operator<<(std::ostream& out, const ExprSequence& es);
%include "expr/expr_sequence.h"
|