Home
last modified time | relevance | path

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

/dports/math/py-cryptominisat/cryptominisat-5.8.0/src/
H A Dsqlitestats.cpp145 del_prepared_stmt(stmtReduceDB); in ~SQLiteStats()
183 init("reduceDB", &stmtReduceDB); in setup()
696 sqlite3_bind_double(stmtReduceDB, bindAt++, cpuTime()); in reduceDB()
699 sqlite3_bind_int64(stmtReduceDB, bindAt++, cl->stats.ID); in reduceDB()
711 sqlite3_bind_int(stmtReduceDB, bindAt++, locked); in reduceDB()
713 sqlite3_bind_int(stmtReduceDB, bindAt++, cl->stats.glue); in reduceDB()
714 sqlite3_bind_int(stmtReduceDB, bindAt++, cl->size()); in reduceDB()
715 sqlite3_bind_int(stmtReduceDB, bindAt++, cl->stats.ttl); in reduceDB()
718 sqlite3_bind_int(stmtReduceDB, bindAt++, act_ranking); in reduceDB()
719 sqlite3_bind_int(stmtReduceDB, bindAt++, tot_cls_in_db); in reduceDB()
[all …]
H A Dsqlitestats.h166 sqlite3_stmt *stmtReduceDB = NULL; variable
/dports/math/cryptominisat/cryptominisat-5.8.0/src/
H A Dsqlitestats.cpp145 del_prepared_stmt(stmtReduceDB); in ~SQLiteStats()
183 init("reduceDB", &stmtReduceDB); in setup()
696 sqlite3_bind_double(stmtReduceDB, bindAt++, cpuTime()); in reduceDB()
699 sqlite3_bind_int64(stmtReduceDB, bindAt++, cl->stats.ID); in reduceDB()
711 sqlite3_bind_int(stmtReduceDB, bindAt++, locked); in reduceDB()
713 sqlite3_bind_int(stmtReduceDB, bindAt++, cl->stats.glue); in reduceDB()
714 sqlite3_bind_int(stmtReduceDB, bindAt++, cl->size()); in reduceDB()
715 sqlite3_bind_int(stmtReduceDB, bindAt++, cl->stats.ttl); in reduceDB()
718 sqlite3_bind_int(stmtReduceDB, bindAt++, act_ranking); in reduceDB()
719 sqlite3_bind_int(stmtReduceDB, bindAt++, tot_cls_in_db); in reduceDB()
[all …]
H A Dsqlitestats.h166 sqlite3_stmt *stmtReduceDB = NULL; variable