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/prop/cnf_stream.h | |
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/prop/cnf_stream.h')
0 files changed, 0 insertions, 0 deletions