dlvhex
2.5.0
|
iostreams interface to external programs. More...
#include "dlvhex2/PlatformDefinitions.h"
#include <iostream>
#include <streambuf>
#include <vector>
#include <string>
Go to the source code of this file.
Data Structures | |
class | ProcessBuf |
A std::streambuf interface for creating child processes and writing/reading data via stdin/stdout. More... |
iostreams interface to external programs.
Definition in file ProcessBuf.h.