projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c483eeb) | patch
Add NodeManager::mkOr() (#5360)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Thu, 29 Oct 2020 14:25:42 +0000 (15:25 +0100)
committerGitHub <noreply@github.com>
Thu, 29 Oct 2020 14:25:42 +0000 (09:25 -0500)
commit0cebb4e9b2a5caa8fafa6ebd562a25aa18de9d43
tree058d6324e256115a56f9d053f2ded4bcf6d03de4tree
parentc483eeb3505a61aa1b4f8432e07555176dd7598ccommit | diff
Add NodeManager::mkOr() (#5360)

This PR adds a convenience method mkOr() just like mkAnd().
src/expr/node_manager.h diff | blob | history