cprover
pipe_stream.h File Reference

A stdin/stdout pipe as STL stream. More...

#include <iostream>
#include <string>
#include <list>
#include <unistd.h>
#include <sys/types.h>
Include dependency graph for pipe_stream.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  filedescriptor_streambuft
 
class  pipe_streamt
 

Detailed Description

A stdin/stdout pipe as STL stream.

Definition in file pipe_stream.h.