Searched refs:sumConflicts_at_picktime (Results 1 – 14 of 14) sorted by relevance
| /dports/math/py-cryptominisat/cryptominisat-5.8.0/ |
| H A D | cmsat_tablestructure.sql | 326 , `sumConflicts_at_picktime` int(20) NOT NULL
370 , `sumConflicts_at_picktime` int(20) NOT NULL
395 , `sumConflicts_at_picktime` bigint(20) NOT NULL
402 , `sumConflicts_at_picktime` bigint(20) NOT NULL
|
| /dports/math/cryptominisat/cryptominisat-5.8.0/ |
| H A D | cmsat_tablestructure.sql | 326 , `sumConflicts_at_picktime` int(20) NOT NULL
370 , `sumConflicts_at_picktime` int(20) NOT NULL
395 , `sumConflicts_at_picktime` bigint(20) NOT NULL
402 , `sumConflicts_at_picktime` bigint(20) NOT NULL
|
| /dports/math/py-cryptominisat/cryptominisat-5.8.0/src/ |
| H A D | vardata.h | 71 uint64_t sumConflicts_at_picktime = 0; member
|
| H A D | sqlstats.h | 111 , const uint64_t sumConflicts_at_picktime
|
| H A D | sqlitestats.h | 126 , const uint64_t sumConflicts_at_picktime
|
| H A D | sqlitestats.cpp | 820 sqlite3_bind_int64 (stmt_var_data_fintime, bindAt++, vardata.sumConflicts_at_picktime); in var_data_fintime()
941 , const uint64_t sumConflicts_at_picktime in dec_var_clid() argument
948 sqlite3_bind_int64(stmt_dec_var_clid, bindAt++, sumConflicts_at_picktime); in dec_var_clid()
|
| H A D | propengine.cpp | 667 varData[v].sumConflicts_at_picktime = sumConflicts; in sql_dump_vardata_picktime()
|
| H A D | searcher.cpp | 1586 , varData[v].sumConflicts_at_picktime in dump_var_for_learnt_cl()
3618 uint64_t sumConflicts_during = sumConflicts - varData[var].sumConflicts_at_picktime; in cancelUntil()
|
| /dports/math/cryptominisat/cryptominisat-5.8.0/src/ |
| H A D | vardata.h | 71 uint64_t sumConflicts_at_picktime = 0; member
|
| H A D | sqlstats.h | 111 , const uint64_t sumConflicts_at_picktime
|
| H A D | sqlitestats.h | 126 , const uint64_t sumConflicts_at_picktime
|
| H A D | sqlitestats.cpp | 820 sqlite3_bind_int64 (stmt_var_data_fintime, bindAt++, vardata.sumConflicts_at_picktime); in var_data_fintime()
941 , const uint64_t sumConflicts_at_picktime in dec_var_clid() argument
948 sqlite3_bind_int64(stmt_dec_var_clid, bindAt++, sumConflicts_at_picktime); in dec_var_clid()
|
| H A D | propengine.cpp | 667 varData[v].sumConflicts_at_picktime = sumConflicts; in sql_dump_vardata_picktime()
|
| H A D | searcher.cpp | 1586 , varData[v].sumConflicts_at_picktime in dump_var_for_learnt_cl()
3618 uint64_t sumConflicts_during = sumConflicts - varData[var].sumConflicts_at_picktime; in cancelUntil()
|