out = new OFileStream(filename);
out_owned = true;
indent_depth = 0;
+ out->precision(10);
}
-
+
Writer::Writer(std::ostream* newout)
{
out = newout;
out_owned = false;
indent_depth = 0;
+ out->precision(10);
}
Writer::~Writer()
return;
}
lists.pop_back();
-
+
indent_depth -= 2;
indent();
*out << ")\n";