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); }
