namespace Msp {
namespace DataFile {
+/**
+Writes data in binary format.
+*/
class BinaryWriter: public WriterMode
{
private:
unsigned next_enum_id;
public:
- BinaryWriter(std::ostream &o);
+ BinaryWriter(IO::Base &o);
void write(const Statement &st);
private:
void write_(const Statement &st);