31.01.2014 Views

Version 5.0 The LEDA User Manual

Version 5.0 The LEDA User Manual

Version 5.0 The LEDA User Manual

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

void is.close( ) detaches is from its streambuf object.<br />

void is.finish( ) reads till the end of the stream and then closes is.<br />

(This is useful if Coder is a checksummer; the checksum<br />

is only verified after EOF has been read.)<br />

9.21 Encoding File Stream ( encoding ofstream )<br />

1. Definition<br />

<strong>The</strong> type encoding ofstream is the encoding counterpart of the type ofstream<br />

from the C++ iostream library. Each instance os of type encoding ofstream is<br />

associated with a file. Every data that is written to os is encoded on-the-fly by an<br />

instance of type Coder and then written to the associated file. All operations and all<br />

operators (

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!