diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2019-10-07 18:16:40 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-10-07 18:16:40 -0700 |
commit | 97c7e81a68b31328e5bf40dd6939826e3cc1cf93 (patch) | |
tree | 9daa06998b858d27675bb3a716728e2ede3cb385 /src/api/cvc4cpp.h | |
parent | 3fac8f369bd29f9856e2b61fbb5029d780fde64b (diff) |
[SMT2 Parser] Move code of `rewriterulesCommand` (#3334)
This commit moves the code in `rewriterulesCommand` in the SMT2 parser
to the `Smt2` class. Additionally, it creates a `boundVarList` rule to
reduce code duplication.
Diffstat (limited to 'src/api/cvc4cpp.h')
0 files changed, 0 insertions, 0 deletions