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/booleans/theory_bool.h | |
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/booleans/theory_bool.h')
0 files changed, 0 insertions, 0 deletions