blob: 09e54fec0fd6445af28a29d9f5e90fb1f8297778 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
%{
#include "expr/command.h"
%}
%ignore CVC4::operator<<(std::ostream&, const Command&) throw();
%ignore CVC4::operator<<(std::ostream&, const Command*) throw();
%ignore CVC4::operator<<(std::ostream&, BenchmarkStatus status) throw();
%ignore CVC4::GetProofCommand;
%rename(beginConst) CVC4::CommandSequence::begin() const throw();
%rename(endConst) CVC4::CommandSequence::end() const throw();
%include "expr/command.h"
|