Version 5.0 The LEDA User Manual

void
void
C.set src stream(streambuf ∗ src stream, bool own stream = false)
sets the source stream (cf. constructor).
C.set src file(const char ∗ file name)
sets a file as source stream.
streambuf ∗ C.get tgt stream( ) returns the current target stream.
void
void
C.set tgt stream(streambuf ∗ tgt stream, bool own Stream = false)
sets the target stream (cf. constructor).
C.set tgt file(const char ∗ file name)
sets a file as target stream.
void C.reset( ) puts C in exactly the same state as the default constructor.
bool C.failed( ) returns true if an error occured.
bool C.finished( ) returns true if decoding is finished.
string C.get description( ) provides a description for C. After decoding this includes
a description of the coder that has been used
for encoding the stream.
Additional Operations
coder base∗ C.get coder( ) after decoding this function returns the coder that
has actually been used to decode the stream. E.g., if
the original source stream has been encoded with an
instance of type A0Coder then the function returns
an instance of A0Coder.