diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2016-07-16 09:03:11 -0500 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2016-07-16 09:03:25 -0500 |
| commit | f70674c2f0c6c1c55e3d7c5fed916fc1e7721ffe (patch) | |
| tree | 4a8cbb3e58d06346ffa00dd83e5c31ad2195c570 /src/theory/quantifiers/quantifiers_rewriter.h | |
| parent | c508e78395491bc5055e77169d39a97b5e6c8a5a (diff) | |
Refactor strings extf evaluation info. Ensure strings eager preprocess eliminates all extf symbols during ppRewrite. Add options stringGuessModel and stringUfReduct. Minor optimizations.
Diffstat (limited to 'src/theory/quantifiers/quantifiers_rewriter.h')
0 files changed, 0 insertions, 0 deletions