diff options
| author | Christopher L. Conway <christopherleeconway@gmail.com> | 2009-11-24 21:30:50 +0000 |
|---|---|---|
| committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2009-11-24 21:30:50 +0000 |
| commit | 4f4f69b4f85b8906002f8002527f4486cb1ea1ce (patch) | |
| tree | 8440c43f96f57f2a5ce88bc2150df0f9be2bfb2e /src/parser/pl.ypp | |
| parent | 6f6a6bc95e661996a08b882ef6c7fdbdd0140e80 (diff) | |
Parser for boolean exprs (no commands)
Diffstat (limited to 'src/parser/pl.ypp')
| -rw-r--r-- | src/parser/pl.ypp | 27 |
1 files 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: |