diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2017-10-18 12:11:50 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-18 12:11:50 -0500 |
| commit | 6f18015fdcb824f46b969882aa45187b46306e97 (patch) | |
| tree | 8d04dcb3fa263a359886aa156851d4dec3e2c7e8 /src/theory/arith/arith_static_learner.cpp | |
| parent | 382813c77025e05550876bf02f2782b72d6c8927 (diff) | |
Strings API escape sequences (#1245)
* Argument for strings class to specify whether to process escape sequences.
* Change default value on string constructor.
* Make CVC4::String::toString symmetric to the constructor for CVC4::String, document.
* Clang format.
Diffstat (limited to 'src/theory/arith/arith_static_learner.cpp')
0 files changed, 0 insertions, 0 deletions