projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 42c15c7) | patch
Refactor strings extended functions inferences (#2480)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 19 Sep 2018 01:10:59 +0000 (20:10 -0500)
committerAndres Noetzli <andres.noetzli@gmail.com>
Wed, 19 Sep 2018 01:10:59 +0000 (18:10 -0700)
commit2bb0196d4f9d0891bc7e95fff444c61ab09ee651
tree70dd57934649fa6ef49fd3b7a8a774aa6f2ac6b8tree
parent42c15c764e354046ab511e165caa31e001d14f88commit | diff
 Refactor strings extended functions inferences (#2480)

This refactors the extended function inference step of TheoryStrings. It also generalizes a data member (d_pol) so that we track extended functions that are equal to constants for any type.

This is in preparation for working on solving equations and further inferences in this style.
src/theory/strings/theory_strings.cpp diff | blob | history
src/theory/strings/theory_strings.h diff | blob | history