spot
1.99.4
|
Public Member Functions | |
void | reset (unsigned n) |
void | cleanup () |
void | print (std::ostream &os, const char *pos) const override |
const spot::temporary_file *& | val () const |
spot::temporary_file *& | val () |
operator const spot::temporary_file *& () const | |
operator spot::temporary_file *& () | |
Public Attributes | |
unsigned | translator_num |
Protected Attributes | |
spot::temporary_file * | val_ |