Searched defs:inline (Results 1 - 1 of 1) sorted by relevance

/pkg/src/modules/solver/
H A Dsolver.h26 #define inline __inline // compatible with MS VS 6.0 macro
55 static inline lit toLit (int v) { return v + v; }
56 static inline lit lit_neg (lit l) { return l ^ 1; }
57 static inline int lit_var (lit l) { return l >> 1; }
58 static inline int lit_sign(lit l) { return (l & 1); }

Completed in 9 milliseconds