blob: a4bf5473e730391d2ecc3f46862c59daae24141a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
%{
#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();
%rename(beginConst) CVC4::CommandSequence::begin() const throw();
%rename(endConst) CVC4::CommandSequence::end() const throw();
%include "expr/command.h"
|