projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 887a757) | patch
Add term pools utility (#6243)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 7 Apr 2021 19:30:58 +0000 (14:30 -0500)
committerGitHub <noreply@github.com>
Wed, 7 Apr 2021 19:30:58 +0000 (19:30 +0000)
commit8838a4e8ac47f94089044e2c638376c28a0fd7cd
treed8186c5fb4609b65151fd3c7726a68176f3e8968tree
parent887a75715761767bb7fd7b1d71e188399a4edd3bcommit | diff
Add term pools utility (#6243)

This utility will be used to track pools for pool-based instantiation.
src/CMakeLists.txt diff | blob | history
src/theory/quantifiers/term_pools.cpp [new file with mode: 0644] blob
src/theory/quantifiers/term_pools.h [new file with mode: 0644] blob
src/theory/quantifiers/term_registry.cpp diff | blob | history
src/theory/quantifiers/term_registry.h diff | blob | history