diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-04-02 00:01:21 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-02 00:01:21 -0500 |
| commit | aa6fb6fa3df0b1519e6763e72541c022396ab1dc (patch) | |
| tree | c01a620079998579583150ef117c08b2db2318c4 /test/unit/theory/theory_black.h | |
| parent | 3915eb7b497bd185385048f8c7f2b4c8f2bf7c03 (diff) | |
Introduce enums for all string inferences, excluding the core solver (#4195)
Introduce enum values for all calls to sendInference outside of the core solver.
This included some minor refactoring.
Diffstat (limited to 'test/unit/theory/theory_black.h')
0 files changed, 0 insertions, 0 deletions