Function create_db

cp-profiler/src/cpprofiler/db_handler.cpp:336–370

Create a file at `path` (or overwrite it) and associate it with `db`

/// Create a file at `path` (or overwrite it) and associate it with `db`
static bool create_db(QSqlDatabase* db)
{
    const auto create_nodes = "CREATE TABLE Nodes( \
      NodeID INTEGER PRIMARY KEY, \
      ParentID int NOT NULL, \
      Alternative int NOT NULL, \
      NKids int NOT NULL, \
      Status int, \
      Label varchar(256) \
      );";

    const auto create_bookmarks = "Create TABLE Bookmarks( \
        NodeID INTEGER PRIMARY KEY, \
        Bookmark varchar(8) \
        );";

    const auto create_nogoods = "CREATE TABLE Nogoods( \
        NodeID INTEGER PRIMARY KEY, \
        Nogood varchar(8) \
    );";

    const auto create_info = "CREATE TABLE Info( \
        NodeID INTEGER PRIMARY KEY, \
        Info TEXT \
    );";

    QSqlQuery query (*db);

    if(!query.exec(create_nodes)) return false;
    if(!query.exec(create_bookmarks)) return false;
    if(!query.exec(create_nogoods)) return false;
    if(!query.exec(create_info)) return false;

    return true;
}

/// this takes (without nogoods) under 2 sec for a ~1.5M nodes (golomb 10)
void save_execution(const Execution *ex, const char *path)