Searched refs:DECISIONMAP_TRUE (Results 1 – 1 of 1) sorted by relevance
406 #define DECISIONMAP_TRUE(p) ((p) > 0 ? (decisionmap[p] > 0) : (decisionmap[-p] < 0)) macro490 if (DECISIONMAP_TRUE(other_watch)) in propagate()697 if (DECISIONMAP_TRUE(v)) /* the one true literal */ in analyze()988 if (DECISIONMAP_TRUE(v)) /* the one true literal */ in analyze_unsolvable()1008 if (DECISIONMAP_TRUE(v)) /* the one true literal */ in analyze_unsolvable()