public double[] Run()
{
double numberOfGraphsIn = 0;
double numberOfGraphsOut = 0;
bool condition = true;
string g6Final = "";
string g6Actual = "";
foreach (string g6Line in Listg6In)
{
if (g6Line.Length != 0 && g6Line != " ")
{
if (form1.enableEq1.Checked)
{
condition = BuildLogic.EvaluateText(form1.textEquation1.Text, new Graph(g6Line));
}
if (form1.enableRegular.Checked)
{
condition = condition && InvariantBool.IsRegular.Calculate(new Graph(g6Line));
}
if (form1.enableRegularWithK.Checked)
{
condition = condition && InvariantBool.IsRegularWithDegree.Calculate(new Graph(g6Line), Convert.ToInt32(form1.paramRegularWithDegree.Text));
}
if (form1.enableIsConnected.Checked)
{
condition = condition && InvariantBool.IsConnected.Calculate(new Graph(g6Line));
}
if (form1.enableIsPlanar.Checked)
{
condition = condition && InvariantBool.IsPlanar.Calculate(new Graph(g6Line));
}
if (form1.enableIsHamiltonian.Checked)
{
condition = condition && InvariantBool.IsHamiltonian.Calculate(new Graph(g6Line));
}
if (form1.enableIsAcyclic.Checked)
{
condition = condition && InvariantBool.IsAcyclic.Calculate(new Graph(g6Line));
}
if (form1.enableLarg_A_integer.Checked)
{
condition = condition && InvariantBool.Largest_A_IsInteger.Calculate(new Graph(g6Line));
}
if (form1.enableLarg_L_integer.Checked)
{
condition = condition && InvariantBool.Largest_L_IsInteger.Calculate(new Graph(g6Line));
}
if (form1.enableLarg_Q_integer.Checked)
{
condition = condition && InvariantBool.Largest_Q_IsInteger.Calculate(new Graph(g6Line));
}
if (form1.enable_A_integral.Checked)
{
condition = condition && InvariantBool.A_integral.Calculate(new Graph(g6Line));
}
if (form1.enable_L_integral.Checked)
{
condition = condition && InvariantBool.L_integral.Calculate(new Graph(g6Line));
}
if (form1.enable_Q_integral.Checked)
{
condition = condition && InvariantBool.Q_integral.Calculate(new Graph(g6Line));
}
if (form1.enableSome_A_integer.Checked)
{
condition = condition && InvariantBool.SomeEig_A_integer.Calculate(new Graph(g6Line));
}
if (form1.enableSome_L_integer.Checked)
{
condition = condition && InvariantBool.SomeEig_L_integer.Calculate(new Graph(g6Line));
}
if (form1.enableSome_Q_integer.Checked)
{
condition = condition && InvariantBool.SomeEig_Q_integer.Calculate(new Graph(g6Line));
}
if (condition)
{
numberOfGraphsOut++;
g6Actual = g6Actual + g6Line + "\n";
g6Final = g6Actual;
}
numberOfGraphsIn++;
condition = true;
form1.progressBar.Value++;
}
}
using (StreamWriter sw = new StreamWriter(fileG6OutPath))
{
sw.Write(g6Final);
}
double percentual = Math.Round((numberOfGraphsOut / numberOfGraphsIn) * 100, 2);
return(new double[3] {
numberOfGraphsIn, numberOfGraphsOut, percentual
});
}
public string RunCounterexample()
{
bool condition = true;
foreach (string g6Line in Listg6In)
{
if (g6Line.Length != 0 && g6Line != " ")
{
if (form1.enableEq1.Checked)
{
condition = BuildLogic.EvaluateText(form1.textEquation1.Text, new Graph(g6Line));
}
if (form1.enableRegular.Checked)
{
condition = condition && InvariantBool.IsRegular.Calculate(new Graph(g6Line));
}
if (form1.enableRegularWithK.Checked)
{
condition = condition && InvariantBool.IsRegularWithDegree.Calculate(new Graph(g6Line), Convert.ToInt32(form1.paramRegularWithDegree.Text));
}
if (form1.enableIsConnected.Checked)
{
condition = condition && InvariantBool.IsConnected.Calculate(new Graph(g6Line));
}
if (form1.enableIsPlanar.Checked)
{
condition = condition && InvariantBool.IsPlanar.Calculate(new Graph(g6Line));
}
if (form1.enableIsHamiltonian.Checked)
{
condition = condition && InvariantBool.IsHamiltonian.Calculate(new Graph(g6Line));
}
if (form1.enableIsAcyclic.Checked)
{
condition = condition && InvariantBool.IsAcyclic.Calculate(new Graph(g6Line));
}
if (form1.enableLarg_A_integer.Checked)
{
condition = condition && InvariantBool.Largest_A_IsInteger.Calculate(new Graph(g6Line));
}
if (form1.enableLarg_L_integer.Checked)
{
condition = condition && InvariantBool.Largest_L_IsInteger.Calculate(new Graph(g6Line));
}
if (form1.enableLarg_Q_integer.Checked)
{
condition = condition && InvariantBool.Largest_Q_IsInteger.Calculate(new Graph(g6Line));
}
if (form1.enable_A_integral.Checked)
{
condition = condition && InvariantBool.A_integral.Calculate(new Graph(g6Line));
}
if (form1.enable_L_integral.Checked)
{
condition = condition && InvariantBool.L_integral.Calculate(new Graph(g6Line));
}
if (form1.enable_Q_integral.Checked)
{
condition = condition && InvariantBool.Q_integral.Calculate(new Graph(g6Line));
}
if (form1.enableSome_A_integer.Checked)
{
condition = condition && InvariantBool.SomeEig_A_integer.Calculate(new Graph(g6Line));
}
if (form1.enableSome_L_integer.Checked)
{
condition = condition && InvariantBool.SomeEig_L_integer.Calculate(new Graph(g6Line));
}
if (form1.enableSome_Q_integer.Checked)
{
condition = condition && InvariantBool.SomeEig_Q_integer.Calculate(new Graph(g6Line));
}
if (!condition)
{
return(g6Line);
}
}
form1.progressBar.Value++;
}
return("XX");
}