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