projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e8d3e68) | patch
Add n-ary match trie utility (#6909)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 27 Aug 2021 17:28:31 +0000 (12:28 -0500)
committerGitHub <noreply@github.com>
Fri, 27 Aug 2021 17:28:31 +0000 (17:28 +0000)
commitb1ef6257c9f4c30fd71f42942107b029c569c316
tree07e2dc463708c931c0c580ae6ab875ee236b95c4tree
parente8d3e68b892225aba597dc65da2ca2074e520889commit | diff
Add n-ary match trie utility (#6909)

Towards rewrite rule reconstruction
src/expr/CMakeLists.txt diff | blob | history
src/expr/nary_match_trie.cpp [new file with mode: 0644] blob
src/expr/nary_match_trie.h [new file with mode: 0644] blob