|
Clingo
|
Output stream with an underlying OutputBuffer. More...
#include <print.hh>
Public Member Functions | |
| OutputStream (FILE *out) | |
| Construct the buffer with an optional file handle. | |
| auto | buffer () -> OutputBuffer & |
| Get the underlying buffer. | |
Output stream with an underlying OutputBuffer.