diff options
author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-05-06 20:07:51 +0000 |
---|---|---|
committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-05-06 20:07:51 +0000 |
commit | e909abcaf122e7c426d2b078728679f43a8ca442 (patch) | |
tree | 76b30fe96fe097770e7ab90518d945fd41555b76 /src/parser | |
parent | 4e365ace4baa9eb519268c621ac69843a0599208 (diff) |
Implementing Rational::fromDecimal and adding support for real constants in SMT parsers
Diffstat (limited to 'src/parser')
-rw-r--r-- | src/parser/antlr_input.h | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/parser/antlr_input.h b/src/parser/antlr_input.h index 18317e4d8..f52467ad9 100644 --- a/src/parser/antlr_input.h +++ b/src/parser/antlr_input.h @@ -29,6 +29,8 @@ #include "expr/expr.h" #include "expr/expr_manager.h" #include "util/Assert.h" +#include "util/integer.h" +#include "util/rational.h" namespace CVC4 { @@ -146,6 +148,8 @@ public: static Integer tokenToInteger( pANTLR3_COMMON_TOKEN token ); /** Retrieve a Rational from the text of a token */ static Rational tokenToRational(pANTLR3_COMMON_TOKEN token); + /** Retrive a Bitvector from the text of a token */ +// static Bitvector tokenToBitvector(pANTLR3_COMMON_TOKEN token, int base); protected: /** Create an input. This input takes ownership of the given input stream, @@ -202,8 +206,7 @@ inline Integer AntlrInput::tokenToInteger(pANTLR3_COMMON_TOKEN token) { } inline Rational AntlrInput::tokenToRational(pANTLR3_COMMON_TOKEN token) { - Rational r( tokenText(token) ); - return r; + return Rational::fromDecimal( tokenText(token) ); } }/* CVC4::parser namespace */ |