1 2 3 4 5 6 7
%{ #include "util/hash.h" %} %rename(apply) CVC4::StringHashFunction::operator()(const std::string&) const; %include "util/hash.h"