1 2 3 4 5 6 7
%{ #include "util/proof.h" %} %ignore CVC4::Proof::toStream(std::ostream& out, const ProofLetMap& map) const; %include "util/proof.h"