Commit 519c24ca authored by Masahiko Sakai's avatar Masahiko Sakai

Merge branch 'manyglucose' of git.trs.css.i.nagoya-u.ac.jp:Naps/naps into manyglucose

parents 9b82dd1a f53cf971
Pipeline #43 failed with stages
......@@ -84,9 +84,11 @@ const Lit lit_Error = { -1 }; // }
// does enough constant propagation to produce sensible code, and this appears to be somewhat
// fragile unfortunately.
//#define l_True (lbool((uint8_t)0)) // gcc does not do constant propagation if these are real constants.
//#define l_False (lbool((uint8_t)1))
//#define l_Undef (lbool((uint8_t)2))
#ifndef l_True
#define l_True (lbool((uint8_t)0)) // gcc does not do constant propagation if these are real constants.
#define l_False (lbool((uint8_t)1))
#define l_Undef (lbool((uint8_t)2))
#endif
class lbool {
uint8_t value;
......@@ -115,9 +117,9 @@ public:
friend lbool toLbool(int v);
};
const lbool l_True = (GlueMiniSat::lbool((uint8_t)0)); // gcc does not do constant propagation if these are real constants.
const lbool l_False = (GlueMiniSat::lbool((uint8_t)1));
const lbool l_Undef = (GlueMiniSat::lbool((uint8_t)2));
//const lbool l_True = (GlueMiniSat::lbool((uint8_t)0)); // gcc does not do constant propagation if these are real constants.
//const lbool l_False = (GlueMiniSat::lbool((uint8_t)1));
//const lbool l_Undef = (GlueMiniSat::lbool((uint8_t)2));
inline int toInt (lbool l) { return l.value; }
inline lbool toLbool(int v) { return lbool((uint8_t)v); }
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment