projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5d20398) | patch
Get operators in node (#3094)
authoryoni206 <yoni206@users.noreply.github.com>
Tue, 23 Jul 2019 05:39:59 +0000 (22:39 -0700)
committerGitHub <noreply@github.com>
Tue, 23 Jul 2019 05:39:59 +0000 (22:39 -0700)
commit5b494f33f146677386385fc7d055f95d9aae08d5
tree603751d479cf69281d7c40658478e9bedda90048tree
parent5d203980cb011ce0a9aa5007d4792c1f80dd1e4bcommit | diff
Get operators in node (#3094)

This commit adds a function to node_algorithm.{h,cpp} that returns the operators that occur in a given node.
src/expr/node_algorithm.cpp diff | blob | history
src/expr/node_algorithm.h diff | blob | history
test/unit/expr/CMakeLists.txt diff | blob | history
test/unit/expr/node_algorithm_black.h [new file with mode: 0644] blob