23 #define DELIMITERS "\t\n\v\f\r " 24 #define CHAR_DELIMITERS "abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ" 29 while(getline(in, line))
39 std::cout <<
"begin line " << line <<
'\n';
43 std::cout <<
"pos " <<
pos <<
'\n';
47 if(
pos!=std::string::npos)
49 std::string decision = line.substr(0,
pos);
52 std::cout <<
"i am here\n";
53 std::cout << decision <<
'\n';
54 std::cout <<
"line" << line <<
'\n';
56 if(!decision.compare(std::string(
"c")))
64 if(!decision.compare(std::string(
"p")))
72 if(pos_char == std::string::npos)
76 std::cout <<
"parsed_lit " << parsed_lit <<
" \n";
82 std::cout <<
"calling lcnf " << new_bv.size() <<
'\n';
90 unsigned var = abs(parsed_lit);
92 bool sign = (parsed_lit > 0) ?
false :
true;
95 std::cout <<
"setting l to " << l.
get() <<
'\n';
void lcnf(literalt l0, literalt l1)
static bvt eliminate_duplicates(const bvt &)
eliminate duplicates from given vector of literals
virtual void set_no_variables(size_t no)
void read_dimacs_cnf(std::istream &in, cnft &dest)
virtual size_t no_variables() const override
int unsafe_string2int(const std::string &str, int base)
std::vector< literalt > bvt