projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f332d9e) | patch
Generalize interface for candidate rewrite database (#4797)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 3 Aug 2020 22:05:35 +0000 (17:05 -0500)
committerGitHub <noreply@github.com>
Mon, 3 Aug 2020 22:05:35 +0000 (17:05 -0500)
commitdc9af8641003b8c0efd8a952095dfa76997983c1
treea1189f25598ba0333022237aa84600f896aa6cf5tree
parentf332d9eb50796d0dde8302d463ed830fc6770133commit | diff
Generalize interface for candidate rewrite database (#4797)

This class will be used as a utility in a new algorithm for solution reconstruction and requires a generalized interface.

FYI @abdoo8080
src/theory/quantifiers/candidate_rewrite_database.cpp diff | blob | history
src/theory/quantifiers/candidate_rewrite_database.h diff | blob | history
src/theory/quantifiers/expr_miner_manager.cpp diff | blob | history