projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cc4eefe) | patch
Add node utils for the arithmetic rewriter (#8012)
authorGereon Kremer <gkremer@stanford.edu>
Thu, 3 Feb 2022 10:15:15 +0000 (02:15 -0800)
committerGitHub <noreply@github.com>
Thu, 3 Feb 2022 10:15:15 +0000 (10:15 +0000)
commit593130c35c03da15bfd4bad794246fef0fd09a66
treef384f80b3b896064a888ca5fa5dd79838b05db91tree
parentcc4eefe84809af49ad932751070fe392fe3f7c08commit | diff
Add node utils for the arithmetic rewriter (#8012)

This PR adds a bunch of small utilities to inspect or create nodes in the arithmetic rewriter.
src/CMakeLists.txt diff | blob | history
src/theory/arith/rewriter/node_utils.cpp [new file with mode: 0644] blob
src/theory/arith/rewriter/node_utils.h [new file with mode: 0644] blob