1 |
|
#include "options/outputc.h" |
2 |
|
|
3 |
|
#include <iostream> |
4 |
|
|
5 |
|
namespace cvc5 { |
6 |
|
|
7 |
9780 |
OutputC OutputChannel(&std::cout); |
8 |
|
|
9 |
1000 |
Cvc5ostream OutputC::operator()(const options::OutputTag tag) const |
10 |
|
{ |
11 |
1000 |
if (options::outputTagHolder()[static_cast<size_t>(tag)]) |
12 |
|
{ |
13 |
6 |
return Cvc5ostream(d_os); |
14 |
|
} |
15 |
|
else |
16 |
|
{ |
17 |
994 |
return Cvc5ostream(); |
18 |
|
} |
19 |
|
} |
20 |
|
|
21 |
66908 |
bool OutputC::isOn(const options::OutputTag tag) const |
22 |
|
{ |
23 |
66908 |
return options::outputTagHolder()[static_cast<size_t>(tag)]; |
24 |
|
} |
25 |
|
|
26 |
29340 |
} // namespace cvc5 |