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