unsigned next_kwd_id;
StringMap strings;
unsigned next_str_id;
+ unsigned float_precision;
public:
- BinaryWriter(IO::Base &o);
+ BinaryWriter(Output &o);
+ virtual void set_float_precision(unsigned);
virtual void write(const Statement &st);
private:
void write_(const Statement &st);