diff options
author | Tianyi Liang <tianyi-liang@uiowa.edu> | 2013-10-20 21:25:57 -0500 |
---|---|---|
committer | Tianyi Liang <tianyi-liang@uiowa.edu> | 2013-10-20 21:28:48 -0500 |
commit | 60aab6e5b7dde21603eb039f37921614d4424d59 (patch) | |
tree | 82636da4881edfbe2a059984557e193de0e1f7da /src/parser | |
parent | 2f4925e3d366bf58437025e0a5b238468e6514f8 (diff) |
adds regular expression range
Diffstat (limited to 'src/parser')
-rw-r--r-- | src/parser/smt2/Smt2.g | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/parser/smt2/Smt2.g b/src/parser/smt2/Smt2.g index 885a7c487..c7e088124 100644 --- a/src/parser/smt2/Smt2.g +++ b/src/parser/smt2/Smt2.g @@ -1255,6 +1255,7 @@ builtinOp[CVC4::Kind& kind] | RESTAR_TOK { $kind = CVC4::kind::REGEXP_STAR; } | REPLUS_TOK { $kind = CVC4::kind::REGEXP_PLUS; } | REOPT_TOK { $kind = CVC4::kind::REGEXP_OPT; } + | RERANGE_TOK { $kind = CVC4::kind::REGEXP_RANGE; } // NOTE: Theory operators go here ; @@ -1628,6 +1629,7 @@ REINTER_TOK : 're.itr'; RESTAR_TOK : 're.*'; REPLUS_TOK : 're.+'; REOPT_TOK : 're.opt'; +RERANGE_TOK : 're.range'; /** * A sequence of printable ASCII characters (except backslash) that starts |