void PrintingContext::print (const char *name, dReal x) { printIndent(); fprintf (file,"%s = ",name); printReal (x); fprintf (file,",\n"); }
void PrintingContext::print (const char *name, const dReal *x, int n) { printIndent(); fprintf (file,"%s = {",name); for (int i=0; i<n; i++) { printReal (x[i]); if (i < n-1) fputc (',',file); } fprintf (file,"},\n"); }
void PrintingContext::printNum (const char *name, dReal x) { printReal (x); fprintf (file,"\n"); }