34#ifndef GECODE_GIST_NODESTATS_HH
35#define GECODE_GIST_NODESTATS_HH
40#if QT_VERSION >= 0x050000
44namespace Gecode {
namespace Gist {
53 QGraphicsTextItem* nodeDepthLabel;
55 QGraphicsTextItem* subtreeDepthLabel;
57 QGraphicsTextItem* solvedLabel;
59 QGraphicsTextItem* failedLabel;
61 QGraphicsTextItem* choicesLabel;
63 QGraphicsTextItem* openLabel;
65 QVBoxLayout* boxLayout;
int n
Number of negative literals for node type.
Display information about nodes.
NodeStatInspector(QWidget *parent)
void node(const VisualNode::NodeAllocator &, VisualNode *n, const Statistics &stat, bool finished)
Update display to reflect information about n.
void showStats(void)
Show this window and bring it to the front.
Statistics about the search tree
Node class that supports visual layout
Gecode toplevel namespace