diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-04-14 11:12:30 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-14 16:12:30 +0000 |
| commit | 5f6b4f8dd31e21f935c3f4a441af11e18e12d283 (patch) | |
| tree | add52bead6587b5d0e5407f90e1f3056d05a0305 /src/smt/smt_engine.cpp | |
| parent | f3ecc4bfe17776d08efbbb5ed76a5879efa419ca (diff) | |
Add interface for getting relevant assertions (#5131)
This adds an interface to TheoryEngine for getting the current set of relevant assertions if it is available.
An interface to this can further be added to the API in a future PR.
Diffstat (limited to 'src/smt/smt_engine.cpp')
0 files changed, 0 insertions, 0 deletions