Home
last modified time | relevance | path

Searched refs:Sat_MemCompactLearned (Results 1 – 4 of 4) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bsat/
H A DsatClause.h366 static inline int Sat_MemCompactLearned( Sat_Mem_t * p, int fDoMove ) in Sat_MemCompactLearned() function
H A DsatSolver2.c1514 Counter = Sat_MemCompactLearned( pMem, 0 ); in sat_solver2_reducedb()
1565 Counter = Sat_MemCompactLearned( pMem, 1 ); in sat_solver2_reducedb()
H A DsatSolver3.c1553 Counter = Sat_MemCompactLearned( pMem, 0 ); in sat_solver3_reducedb()
1591 Counter = Sat_MemCompactLearned( pMem, 1 ); in sat_solver3_reducedb()
H A DsatSolver.c1588 Counter = Sat_MemCompactLearned( pMem, 0 ); in sat_solver_reducedb()
1626 Counter = Sat_MemCompactLearned( pMem, 1 ); in sat_solver_reducedb()