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"