projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eacb636) | patch
Add ProofNode data structure (#4311)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 15 Apr 2020 22:09:40 +0000 (17:09 -0500)
committerGitHub <noreply@github.com>
Wed, 15 Apr 2020 22:09:40 +0000 (17:09 -0500)
commit912b65006615fe4074cde54b080f48e3d6c12042
tree99b1d0ad565ac79d7ebaaa305a42d5052d06b206tree
parenteacb636406e609299b6e5b64e93f1cf5b73f4ba3commit | diff
Add ProofNode data structure (#4311)

This is the core data structure for proofs in the new proofs infrastructure. PfRule is a global enumeration of ids of proof nodes (analogous to Kind for Nodes).
src/expr/CMakeLists.txt diff | blob | history
src/expr/proof_node.cpp [new file with mode: 0644] blob
src/expr/proof_node.h [new file with mode: 0644] blob
src/expr/proof_rule.cpp [new file with mode: 0644] blob
src/expr/proof_rule.h [new file with mode: 0644] blob