Searched refs:pick_polarity (Results 1 – 6 of 6) sorted by relevance
| /dports/math/py-cryptominisat/cryptominisat-5.8.0/tests/ |
| H A D | searcher_test.cpp | 72 num += (unsigned)ss->pick_polarity(0); in TEST_F()
89 num += (unsigned)ss->pick_polarity(0); in TEST_F()
104 num += (unsigned)ss->pick_polarity(0); in TEST_F()
120 ASSERT_EQ(ss->pick_polarity(0), true); in TEST_F()
125 ASSERT_EQ(ss->pick_polarity(0), false); in TEST_F()
129 ASSERT_EQ(ss->pick_polarity(i), false); in TEST_F()
162 ASSERT_EQ(ss->pick_polarity(i), (bool)(i%3)); in TEST_F()
168 ASSERT_EQ(ss->pick_polarity(i), (bool)(i%3)); in TEST_F()
173 ASSERT_EQ(ss->pick_polarity(i), (bool)(i%3)); in TEST_F()
|
| /dports/math/cryptominisat/cryptominisat-5.8.0/tests/ |
| H A D | searcher_test.cpp | 72 num += (unsigned)ss->pick_polarity(0); in TEST_F()
89 num += (unsigned)ss->pick_polarity(0); in TEST_F()
104 num += (unsigned)ss->pick_polarity(0); in TEST_F()
120 ASSERT_EQ(ss->pick_polarity(0), true); in TEST_F()
125 ASSERT_EQ(ss->pick_polarity(0), false); in TEST_F()
129 ASSERT_EQ(ss->pick_polarity(i), false); in TEST_F()
162 ASSERT_EQ(ss->pick_polarity(i), (bool)(i%3)); in TEST_F()
168 ASSERT_EQ(ss->pick_polarity(i), (bool)(i%3)); in TEST_F()
173 ASSERT_EQ(ss->pick_polarity(i), (bool)(i%3)); in TEST_F()
|
| /dports/math/py-cryptominisat/cryptominisat-5.8.0/src/ |
| H A D | searcher.h | 214 bool pick_polarity(const uint32_t var);
563 inline bool Searcher::pick_polarity(const uint32_t var)
|
| H A D | searcher.cpp | 2895 next = Lit(v, !pick_polarity(v)); in pickBranchLit()
|
| /dports/math/cryptominisat/cryptominisat-5.8.0/src/ |
| H A D | searcher.h | 214 bool pick_polarity(const uint32_t var);
563 inline bool Searcher::pick_polarity(const uint32_t var) in pick_polarity() function
|
| H A D | searcher.cpp | 2895 next = Lit(v, !pick_polarity(v)); in pickBranchLit()
|