diff options
Diffstat (limited to 'src/parser/smt2')
| -rw-r--r-- | src/parser/smt2/smt2.cpp | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/parser/smt2/smt2.cpp b/src/parser/smt2/smt2.cpp index fe5eb3ac8..674dbe49d 100644 --- a/src/parser/smt2/smt2.cpp +++ b/src/parser/smt2/smt2.cpp @@ -53,6 +53,12 @@ void Smt2::addArithmeticOperators() { Parser::addOperator(kind::LEQ); Parser::addOperator(kind::GT); Parser::addOperator(kind::GEQ); + + addOperator(kind::POW, "^"); + addOperator(kind::EXPONENTIAL, "exp"); + addOperator(kind::SINE, "sin"); + addOperator(kind::COSINE, "cos"); + addOperator(kind::TANGENT, "tan"); } void Smt2::addBitvectorOperators() { |