private void Execute_Click(object sender, EventArgs e)
{
BddSharp.AST.VarList.ResetDic();
BoolParser parser = new BoolParser();
Scanner sc = new Scanner();
TextReader tr = new StringReader(ExpressionBox.Text);
CategorizeVariables(VarsBox.Text);
Ast = parser.Parse(sc.Scan(tr));
BoolExpr.execute(Ast, "foo");
if (ExpressionBox.Text == string.Empty)
{
MessageBox.Show("Error: No expression provided.");
}
else
{
Thread.Sleep(4000);
System.Diagnostics.Process.Start("results\\foo.jpg", null);
}
}