Searched refs:Sat_MemCompactLearned (Results 1 – 4 of 4) sorted by relevance
366 static inline int Sat_MemCompactLearned( Sat_Mem_t * p, int fDoMove ) in Sat_MemCompactLearned() function
1514 Counter = Sat_MemCompactLearned( pMem, 0 ); in sat_solver2_reducedb()1565 Counter = Sat_MemCompactLearned( pMem, 1 ); in sat_solver2_reducedb()
1553 Counter = Sat_MemCompactLearned( pMem, 0 ); in sat_solver3_reducedb()1591 Counter = Sat_MemCompactLearned( pMem, 1 ); in sat_solver3_reducedb()
1588 Counter = Sat_MemCompactLearned( pMem, 0 ); in sat_solver_reducedb()1626 Counter = Sat_MemCompactLearned( pMem, 1 ); in sat_solver_reducedb()