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