From 4f4f69b4f85b8906002f8002527f4486cb1ea1ce Mon Sep 17 00:00:00 2001 From: "Christopher L. Conway" Date: Tue, 24 Nov 2009 21:30:50 +0000 Subject: [PATCH] Parser for boolean exprs (no commands) --- src/parser/pl.ypp | 27 ++++++++++++++------------- 1 file changed, 14 insertions(+), 13 deletions(-) diff --git a/src/parser/pl.ypp b/src/parser/pl.ypp index 71809b049..b0946b41b 100644 --- a/src/parser/pl.ypp +++ b/src/parser/pl.ypp @@ -328,19 +328,20 @@ Expr: delete $1; delete $3; } - // | Expr IMPLIES_TOK Expr - // { - // $$ = new CVC3::Expr(VC->listExpr("_IMPLIES", *$1, *$3)); - // delete $1; - // delete $3; - // } - // | Expr IFF_TOK Expr - // { - // $$ = new CVC3::Expr(VC->listExpr("_IFF", *$1, *$3)); - // delete $1; - // delete $3; - // } -; + | Expr IMPLIES_TOK Expr { + $$ = new Expr(EM->mkExpr(IMPLIES, *$1, *$3)); + delete $1; + delete $3; + } + | Expr IFF_TOK Expr { + $$ = new Expr(EM->mkExpr(IFF, *$1, *$3)); + delete $1; + delete $3; + } + | NOT_TOK Expr { + $$ = new Expr(EM->mkExpr(NOT, *$2)); + delete $2; + } ; // Identifier: -- 2.30.2