Changeset 16581


Ignore:
Timestamp:
01/29/19 12:44:09 (3 weeks ago)
Author:
chaider
Message:

#2971

  • Check if treeNode exists for specific intervals in SimplifierView
  • GridView fills space in NamedIntevalsView
Location:
branches/2971_named_intervals
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • branches/2971_named_intervals/HeuristicLab.Problems.DataAnalysis.Symbolic.Views/3.4/InteractiveSymbolicDataAnalysisSolutionSimplifierView.cs

    r16549 r16581  
    203203        variableRanges.Add(keyValuePair.Key, keyValuePair.Value);
    204204      }
    205       var resultIntervals = await Task.Run(() => interpreter.GetSymbolicExressionTreeIntervals(tree, variableRanges, out intervals));
     205      var resultIntervals =  interpreter.GetSymbolicExressionTreeIntervals(tree, variableRanges, out intervals);
    206206      try {
    207207        await Task.Delay(500, cancellationTokenSource.Token); // wait for progressbar to finish animation
     
    305305          }
    306306        }
    307         if (visualTree != null)
    308           visualTree.ToolTip += String.Format($"{Environment.NewLine}Intervals: [{intervals[treeNode].LowerBound:G5} ... {intervals[treeNode].UpperBound:G5}]");
     307        if (visualTree != null) {
     308          if (intervals.ContainsKey(treeNode))
     309            visualTree.ToolTip += String.Format($"{Environment.NewLine}Intervals: [{intervals[treeNode].LowerBound:G5} ... {intervals[treeNode].UpperBound:G5}]");
    309310          if (changedNodes.ContainsKey(treeNode)) {
    310311            visualTree.LineColor = Color.DodgerBlue;
     
    312313            visualTree.LineColor = Color.DarkOrange;
    313314          }
     315        }
    314316      }
    315317      treeChart.RepaintNodes();
  • branches/2971_named_intervals/HeuristicLab.Problems.DataAnalysis.Views/3.4/Regression/NamedIntervalsView.Designer.cs

    r16544 r16581  
    3232      // dataGridView
    3333      //
    34       this.dataGridView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
    35             | System.Windows.Forms.AnchorStyles.Left)
    36             | System.Windows.Forms.AnchorStyles.Right)));
    3734      this.dataGridView.ColumnHeadersHeightSizeMode = System.Windows.Forms.DataGridViewColumnHeadersHeightSizeMode.AutoSize;
    38       this.dataGridView.Location = new System.Drawing.Point(6, 19);
     35      this.dataGridView.Dock = System.Windows.Forms.DockStyle.Fill;
     36      this.dataGridView.Location = new System.Drawing.Point(3, 16);
    3937      this.dataGridView.Name = "dataGridView";
    4038      this.dataGridView.RowHeadersWidth = 120;
    41       this.dataGridView.Size = new System.Drawing.Size(461, 378);
     39      this.dataGridView.Size = new System.Drawing.Size(476, 391);
    4240      this.dataGridView.TabIndex = 0;
    4341      this.dataGridView.CellEndEdit += new System.Windows.Forms.DataGridViewCellEventHandler(this.dataGridView_CellEndEdit);
     
    4846      //
    4947      this.groupBox1.Controls.Add(this.dataGridView);
    50       this.groupBox1.Location = new System.Drawing.Point(6, 4);
     48      this.groupBox1.Dock = System.Windows.Forms.DockStyle.Fill;
     49      this.groupBox1.Location = new System.Drawing.Point(0, 0);
    5150      this.groupBox1.Name = "groupBox1";
    52       this.groupBox1.Size = new System.Drawing.Size(473, 403);
     51      this.groupBox1.Size = new System.Drawing.Size(482, 410);
    5352      this.groupBox1.TabIndex = 1;
    5453      this.groupBox1.TabStop = false;
Note: See TracChangeset for help on using the changeset viewer.