projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f3ecc4b) | patch
Add interface for getting relevant assertions (#5131)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 14 Apr 2021 16:12:30 +0000 (11:12 -0500)
committerGitHub <noreply@github.com>
Wed, 14 Apr 2021 16:12:30 +0000 (16:12 +0000)
commit5f6b4f8dd31e21f935c3f4a441af11e18e12d283
treeadd52bead6587b5d0e5407f90e1f3056d05a0305tree
parentf3ecc4bfe17776d08efbbb5ed76a5879efa419cacommit | 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.
src/theory/relevance_manager.cpp diff | blob | history
src/theory/relevance_manager.h diff | blob | history
src/theory/theory_engine.cpp diff | blob | history
src/theory/theory_engine.h diff | blob | history