Searched refs:parsed_lit (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/
H A DMain.C32 void addLit(int parsed_lit,Solver& S, vec<Lit>& lits) { argument
33 int var = abs(parsed_lit)-1;
35 lits.push( (parsed_lit > 0) ? Lit(var) : ~Lit(var) );
/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/zc2hs/
H A Dzc2hs.cpp34 void addLit(int parsed_lit,vector<int>& lits, int& numvars) { argument
35 int var = abs(parsed_lit)-1;
37 lits.push_back( (parsed_lit > 0) ? var+var : var+var+1 );

Completed in 33 milliseconds