public void printSSE(PrintStream ps) { IndentedWriter out = new IndentedWriter(ps); out.println("(stats"); out.incIndent(); for (Pattern p : patterns) { p.output(out); out.println(); } out.decIndent(); out.println(")"); out.flush(); }