Searched refs:sumPropagations (Results 1 – 10 of 10) sorted by relevance
466 sumPropagations++; in enqueue()
830 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()
671 varData[v].sumPropagations_at_picktime = sumPropagations; in sql_dump_vardata_picktime()
139 uint64_t sumPropagations = 0; variable
3620 … uint64_t sumPropagations_during = sumPropagations - varData[var].sumPropagations_at_picktime; in cancelUntil()