public string print()
{
if (op == Kind.NOT)
{
return(op + "( " + right.print() + " )");
}
else
{
return(op + "( " + left.print() + ", " + right.print() + " )");
}
}
private void Debug_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));
DebugBox.Text = Ast.print();
}
public string print()
{
return("Exists" + "(" + PrintVars(vars) + ") . " + body.print());
}
public string print()
{
return("ForAll" + "(" + PrintVars(vars) + ") . " + body.print());
}