void parse_WCNF_file(cchar* filename, PbSolver& solver, bool abort_on_error) { gzFile buf = gzopen(filename, "rb"); if (buf == NULL) fprintf(stderr, "ERROR! Could not open file: %s\n",filename), exit(1); StreamBuffer in(buf); parse_DIMACS_main(in, solver.getSolver()); gzclose(buf); }
// Inserts problem into solver. Returns FALSE upon immediate conflict. // lbool Dimacs::parse_DIMACS(FILE * in, Solver* s) { char* text = readFile(in); lbool ret = parse_DIMACS_main(text, s); free(text); return ret; }
// Inserts problem into solver. // static void parse_DIMACS(gzFile input_stream, Solver& S) { StreamBuffer in(input_stream); parse_DIMACS_main(in, S); }
static void parse_DIMACS(FILE* in, VSolver& S) { char* text = readFile(in); parse_DIMACS_main(text, S); free(text); }
// Inserts problem into solver. Returns FALSE upon immediate conflict. // bool parse_DIMACS(gzFile in, Solver& S) { char* text = readFile(in); bool ret = parse_DIMACS_main(text, S); free(text); return ret; }
// Faster and more memory efficient parsing from a file. // static void parse_DIMACS(cchar* input_file, Solver& S) { FileBuffer in(input_file); parse_DIMACS_main(in, S); }
// Inserts problem into solver. Returns FALSE upon immediate conflict. // static void parse_DIMACS(FILE* fptr, Solver& S) { int size; char* text = readFile(fptr, &size); StringBuffer in(text, size); parse_DIMACS_main(in, S); free(text); }