projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 219fb43) | patch
(proof-new) Add bound variable manager (#5655)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 14 Dec 2020 15:39:13 +0000 (09:39 -0600)
committerGitHub <noreply@github.com>
Mon, 14 Dec 2020 15:39:13 +0000 (09:39 -0600)
commitdddddbfa12aaeb433074382fb9e2b4c9c92c8a66
tree0ddaa90be32ede1601747771f67469dea67a721etree
parent219fb439a1a5ac8f8c53f0d287a259fa82c30ee2commit | diff
(proof-new) Add bound variable manager (#5655)

This is a common utility for constructing canonical bound variables.
src/expr/bound_var_manager.cpp [new file with mode: 0644] blob
src/expr/bound_var_manager.h [new file with mode: 0644] blob