diff options
| author | Abdalrhman Mohamed <32971963+abdoo8080@users.noreply.github.com> | 2020-10-20 20:28:35 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-20 20:28:35 -0500 |
| commit | e91077d81183c6c54ff0fdad5c6eb160f16c4205 (patch) | |
| tree | 764abcca8691c8aaca82066f208e168d8ef45c01 /src/expr | |
| parent | 6940f336d9c63c4844438d6921a38f2c561a4195 (diff) | |
Add finishInit for getInterpol and getAbduct. (#5316)
This PR removes d_subSolver from SygusInterpol class. findInterpol function now receives the sub-solver as input (possibly through solveInterpolation function). In addition, finishInit is now called for getAbduct and getInterpol functions in smt_engine.cpp.
Diffstat (limited to 'src/expr')
0 files changed, 0 insertions, 0 deletions