37#ifdef GZSTREAM_NAMESPACE
58 if((mode & std::ios::ate) || (mode & std::ios::app)
59 || ((mode & std::ios::in) && (mode & std::ios::out)))
65 if(mode & std::ios::in)
67 else if(mode & std::ios::out)
95int gzstreambuf::underflow()
98 return *
reinterpret_cast<unsigned char*
>(
gptr());
100 if(!(mode & std::ios::in) || !
opened)
122 return *
reinterpret_cast<unsigned char*
>(
gptr());
125int gzstreambuf::flush_buffer()
138int gzstreambuf::overflow(
int c)
140 if(!(mode & std::ios::out) || !
opened)
145 *
pptr() =
static_cast<char>(
c);
155int gzstreambuf::sync()
173gzstreambase::gzstreambase(
const char* name,
int mode)
179gzstreambase::~gzstreambase()
192void gzstreambase::close()
201#ifdef GZSTREAM_NAMESPACE
common defines and data types used in all packages of SCIP