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;
}
