diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-04-03 09:43:12 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-03 09:43:12 -0500 |
| commit | d91b52085d7e3bbda65117c0cd88433aed383aff (patch) | |
| tree | 5ed2055704066d28a3247a82030ed44bfeda4a57 /.github | |
| parent | e24e6f3620996ee9e5010d30fefc51247cc55fdc (diff) | |
Split sequences rewriter (#4194)
This is in preparation for making the strings rewriter configurable for stats.
This moves all utility functions from SequencesRewriter to a proper place. This includes three new groupings of utility functions: those involving arithmetic entailments, those involving string entailments, those involving regular expression entailments. Here, "entailments" loosely means any question regarding a (set of) terms or formulas.
No major code changes. Added some missing documentation and lightly cleaned a few blocks of code in cpp.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions