Lines Matching defs:fprintf
396 log3 fprintf(Stderr,"Solution OK.\n"); in isFacet() local
399 log3 fprintf(Stderr,"Solution failed .\n"); in isFacet() local
426 log3 fprintf(Stderr,"Certificate for infeasibility OK.\n"); in isFacet() local
429 log3 fprintf(Stderr,"Certificate failed.\n"); in isFacet() local
433 log3 fprintf(Stderr,"Error while producing certificate\n"); in isFacet() local
504 log3 fprintf(Stderr,"Solution OK.\n"); in hasHomogeneousSolution() local
528 fprintf(Stderr,"Solution recovered.\n"); in hasHomogeneousSolution() local
539 gfan_log2 fprintf(Stderr,"Solution failed (Type2).\n"); in hasHomogeneousSolution() local
577 log3 fprintf(Stderr,"Certificate for infeasibility OK.\n"); in hasHomogeneousSolution() local
581 gfan_log2 fprintf(Stderr,"Certificate failed (Type2).\n"); in hasHomogeneousSolution() local
592 log3 fprintf(Stderr,"Error while producing certificate\n"); in hasHomogeneousSolution() local