src/expr/command.i


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"