1 |
|
#include "cvc5_private_library.h" |
2 |
|
|
3 |
|
#ifndef CVC5__OPTIONS__OUTPUTC_H |
4 |
|
#define CVC5__OPTIONS__OUTPUTC_H |
5 |
|
|
6 |
|
#include <iostream> |
7 |
|
|
8 |
|
#include "cvc5_export.h" |
9 |
|
#include "base/output.h" |
10 |
|
#include "options/base_options.h" |
11 |
|
|
12 |
|
namespace cvc5 { |
13 |
|
|
14 |
|
class OutputC |
15 |
|
{ |
16 |
|
public: |
17 |
9834 |
explicit OutputC(std::ostream* os) : d_os(os) {} |
18 |
|
|
19 |
|
Cvc5ostream operator()(const options::OutputTag tag) const; |
20 |
|
Cvc5ostream operator()(const std::string& tag) const; |
21 |
|
|
22 |
|
bool isOn(const options::OutputTag tag) const; |
23 |
|
|
24 |
|
private: |
25 |
|
std::ostream* d_os; |
26 |
|
|
27 |
|
}; /* class OutputC */ |
28 |
|
|
29 |
|
extern OutputC OutputChannel CVC5_EXPORT; |
30 |
|
|
31 |
|
#ifdef CVC5_MUZZLE |
32 |
|
#define Output ::cvc5::__cvc5_true() ? ::cvc5::nullStream : ::cvc5::OutputChannel |
33 |
|
#else /* CVC5_MUZZLE */ |
34 |
|
#define Output ::cvc5::OutputChannel |
35 |
|
#endif /* CVC5_MUZZLE */ |
36 |
|
|
37 |
|
} |
38 |
|
|
39 |
|
#endif /* CVC5__OPTIONS__OUTPUTC_H */ |