projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 28d7525) | patch
[proofs] Modularize check for whether a clause is singleton (#7497)
authorHaniel Barbosa <hanielbbarbosa@gmail.com>
Tue, 26 Oct 2021 20:46:46 +0000 (17:46 -0300)
committerGitHub <noreply@github.com>
Tue, 26 Oct 2021 20:46:46 +0000 (20:46 +0000)
commit1d2c50986cb53207e0f99a950b939736db226634
tree71314240d8d3f07d3ff35d235220596683d58a42tree
parent28d75255c93fdfd8bca3cac4673702f6ffc8b3becommit | diff
[proofs] Modularize check for whether a clause is singleton (#7497)

Essentially moves the code for this check from the Alethe post-processor. A further PR will include a new use of this method.
src/proof/alethe/alethe_post_processor.cpp diff | blob | history
src/proof/proof_node_algorithm.cpp diff | blob | history
src/proof/proof_node_algorithm.h diff | blob | history