Home
last modified time | relevance | path

Searched refs:sumPropagations (Results 1 – 10 of 10) sorted by relevance

/dports/math/py-cryptominisat/cryptominisat-5.8.0/src/
H A Dpropengine.h466 sumPropagations++; in enqueue()
H A Dsqlitestats.cpp830 sqlite3_bind_int64 (stmt_var_data_fintime, bindAt++, solver->sumPropagations); in var_data_fintime()
875 sqlite3_bind_int64 (stmt_var_data_picktime, bindAt++, solver->sumPropagations); in var_data_picktime()
H A Dpropengine.cpp671 varData[v].sumPropagations_at_picktime = sumPropagations; in sql_dump_vardata_picktime()
H A Dcnf.h139 uint64_t sumPropagations = 0; variable
H A Dsearcher.cpp3620 … uint64_t sumPropagations_during = sumPropagations - varData[var].sumPropagations_at_picktime; in cancelUntil()
/dports/math/cryptominisat/cryptominisat-5.8.0/src/
H A Dpropengine.h466 sumPropagations++; in enqueue()
H A Dsqlitestats.cpp830 sqlite3_bind_int64 (stmt_var_data_fintime, bindAt++, solver->sumPropagations); in var_data_fintime()
875 sqlite3_bind_int64 (stmt_var_data_picktime, bindAt++, solver->sumPropagations); in var_data_picktime()
H A Dcnf.h139 uint64_t sumPropagations = 0; variable
H A Dpropengine.cpp671 varData[v].sumPropagations_at_picktime = sumPropagations; in sql_dump_vardata_picktime()
H A Dsearcher.cpp3620 … uint64_t sumPropagations_during = sumPropagations - varData[var].sumPropagations_at_picktime; in cancelUntil()