Esempio n. 1
0
 public string print()
 {
     if (op == Kind.NOT)
     {
         return(op + "( " + right.print() + " )");
     }
     else
     {
         return(op + "( " + left.print() + ", " + right.print() + " )");
     }
 }
Esempio n. 2
0
        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();
        }
Esempio n. 3
0
 public string print()
 {
     return("Exists" + "(" + PrintVars(vars) + ") . " + body.print());
 }
Esempio n. 4
0
 public string print()
 {
     return("ForAll" + "(" + PrintVars(vars) + ") . " + body.print());
 }