summaryrefslogtreecommitdiff
path: root/src/expr/chain.i
blob: 8de1665ce16ad1bccea1ba6fbd11f609250b7398 (plain) 
1
2
3
4
5
6
7
8
9
10
11
12

%{
#include "expr/chain.h"
%}

%rename(equals) CVC4::Chain::operator==(const Chain&) const;
%ignore CVC4::Chain::operator!=(const Chain&) const;

%ignore CVC4::operator<<(std::ostream&, const Chain&);

%rename(apply) CVC4::ChainHashFunction::operator()(const CVC4::Chain&) const;

%include "expr/chain.h"
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback