diff options
author | Alex Ozdemir <aozdemir@hmc.edu> | 2020-02-10 18:32:20 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-02-10 18:32:20 -0800 |
commit | cbf99fdd92c483e70e3b73feb9d368d4bf632a24 (patch) | |
tree | cfa26fae871b0d3912d2721a39e5429b955c581a /src/theory/quantifiers/sygus/cegis.h | |
parent | 499f1c70dbc869e2b1dd5f8a7b98d45bee2d29cc (diff) |
Implement LFSCArithProof::equalityType. (#3740)
Also, missed an armType use.
Diffstat (limited to 'src/theory/quantifiers/sygus/cegis.h')
0 files changed, 0 insertions, 0 deletions