wrap.h File Reference

---

Detailed Description

Wraping structures for I/O.

Author:

Christian Biere

Date:

2004

#include "if/core/hosts.h"

Go to the source code of this file.

Data Structures
struct	wrap_io
struct	wrap_buf
Typedefs
typedef wrap_io	wrap_io_t
typedef wrap_buf	wrap_buf_t

---

Typedef Documentation

typedef struct wrap_buf wrap_buf_t

typedef struct wrap_io wrap_io_t

---