Method ExecutionWindow

cp-profiler/src/cpprofiler/execution_window.cpp:60–371

}

ExecutionWindow::ExecutionWindow(Execution &ex, QWidget* parent)
    : QMainWindow(parent), execution_(ex)
{
    const auto &tree = ex.tree();
    traditional_view_.reset(new tree::TraditionalView(tree, ex.userData(), ex.solver_data()));

    connect(traditional_view_.get(), &tree::TraditionalView::nodeSelected,
            this, &ExecutionWindow::nodeSelected);

    connect(traditional_view_.get(), &tree::TraditionalView::nogoodsClicked, this, &ExecutionWindow::nogoodsClicked);

    connect(this, &ExecutionWindow::nodeSelected, traditional_view_.get(), &tree::TraditionalView::setCurrentNode);

    maybe_caller_.reset(new utils::MaybeCaller(30));

    auto layout = new QGridLayout();

    statusBar()->showMessage("Ready");

    auto stats_bar = new NodeStatsBar(this, tree.node_stats());
    statusBar()->addPermanentWidget(stats_bar);

    resize(500, 700);

    {
        auto widget = new QWidget();
        setCentralWidget(widget);
        widget->setLayout(layout);
    }

    layout->addWidget(traditional_view_->widget(), 1, 0, 2, 1);

    {

        auto sb = new QSlider(Qt::Vertical);

        sb->setMinimum(1);
        sb->setMaximum(100);

        constexpr int start_scale = 50;
        sb->setValue(start_scale);
        layout->addWidget(sb, 2, 1);

        traditional_view_->setScale(start_scale);

        connect(sb, &QSlider::valueChanged,
                traditional_view_.get(), &tree::TraditionalView::setScale);

        connect(&execution_.tree(), &tree::NodeTree::structureUpdated,
                traditional_view_.get(), &tree::TraditionalView::setLayoutOutdated);

        connect(&execution_.tree(), &tree::NodeTree::failedSubtreeClosed, [this](NodeID n) {
            traditional_view_->hideNode(n);
        });

        {
            auto statsUpdateTimer = new QTimer(this);
            connect(statsUpdateTimer, &QTimer::timeout, stats_bar, &NodeStatsBar::update);