1 |
|
#include "options/outputc.h" |
2 |
|
|
3 |
|
#include <iostream> |
4 |
|
|
5 |
|
namespace cvc5 { |
6 |
|
|
7 |
9834 |
OutputC OutputChannel(&std::cout); |
8 |
|
|
9 |
1004 |
Cvc5ostream OutputC::operator()(const options::OutputTag tag) const |
10 |
|
{ |
11 |
1004 |
if (options::outputTagHolder()[static_cast<size_t>(tag)]) |
12 |
|
{ |
13 |
6 |
return Cvc5ostream(d_os); |
14 |
|
} |
15 |
|
else |
16 |
|
{ |
17 |
998 |
return Cvc5ostream(); |
18 |
|
} |
19 |
|
} |
20 |
|
|
21 |
|
Cvc5ostream OutputC::operator()(const std::string& tag) const |
22 |
|
{ |
23 |
|
return (*this)(options::stringToOutputTag(tag)); |
24 |
|
} |
25 |
|
|
26 |
66498 |
bool OutputC::isOn(const options::OutputTag tag) const |
27 |
|
{ |
28 |
66498 |
return options::outputTagHolder()[static_cast<size_t>(tag)]; |
29 |
|
} |
30 |
|
|
31 |
29502 |
} // namespace cvc5 |