private void buttonCounterexample_Click(object sender, EventArgs e) { if (textEquation1.Enabled == true) { System.Windows.Forms.MessageBox.Show("Please, verify your equation!"); } if (textEquation1.Enabled == false) { buttonSearch.Enabled = false; FilesFilter filesFilter = new FilesFilter(listg6In, this); try { string retorno = filesFilter.RunCounterexample(); if (retorno == "XX") { System.Windows.Forms.MessageBox.Show("No counterexamples found."); } else { insertG6ToView.Text = retorno; System.Windows.Forms.MessageBox.Show("Counterexample found, see the Visualization tab"); } } catch (Exception) { System.Windows.Forms.MessageBox.Show("Invalid g6!");; } } buttonSearch.Enabled = true; progressBar.Value = 0; }
private void ButtonSearch_Click(object sender, EventArgs e) { if (textEquation1.Enabled == true) { System.Windows.Forms.MessageBox.Show("Please, verify your equation!"); } if (textEquation1.Enabled == false) { buttonCounterexample.Enabled = false; FilesFilter filesFilter = new FilesFilter(listg6In, textOutPath.Text, this); try { double[] retorno = filesFilter.Run(); System.Windows.Forms.MessageBox.Show("Busca realizada com sucesso! \nO percentual de grafos escolhidos é: " + retorno[2] + " %" + "\nO número de grafos escolhidos foi de: " + retorno[1] + "\nO número total de grafos que foram lidos foi de: " + retorno[0] + "."); progressBar.Value = 0; } catch (Exception) { System.Windows.Forms.MessageBox.Show("Invalid g6");; } } buttonCounterexample.Enabled = true; }