18 #ifndef _GLIBCXX_CSTDARG
37 inline void cr()
const {
fputc(
'\n', stdout); }
39 inline void print_indent() {
40 for (
int i = 0; i<indentation; ++i)
fputc(
' ', stdout);
43 void goto_indentation() {
44 if (printing_points) {
49 printing_points =
false;
54 void new_point_line() {
56 fprintf(stdout,
" %3i%%",
int(
double(points_printed)/max_points*100+.5));
63 output(FILE *out_ = stdout,
int breakPointsAt = 60) :
65 printing_points(
false),
68 points_per_line(breakPointsAt),
72 void indent(
int howMuch) { indentation += howMuch; }
73 void unindent(
int howMuch) { indentation -= howMuch; }
88 if (!printing_points) {
90 printing_points =
true;
92 else if ((points_printed%points_per_line) == 0 && points_printed) {
139 #error output.h included twice
void setMaxPoints(int maxP)
#define __ATTR__FORMAT_MEMBER(pos)
output(FILE *out_=stdout, int breakPointsAt=60)
vfprintf(stderr, format, parg)
void vput(const char *s, va_list argPtr) __ATTR__VFORMAT_MEMBER(1)
indent(output &out_, int ind=2)
void unindent(int howMuch)
#define __ATTR__VFORMAT_MEMBER(pos)
GB_write_int const char s