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

%{
#include "util/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 "util/chain.h"
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback