projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 85842c3) | patch
Split term canonize utility to own file and document (#2398)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 28 Aug 2018 23:32:15 +0000 (18:32 -0500)
committerGitHub <noreply@github.com>
Tue, 28 Aug 2018 23:32:15 +0000 (18:32 -0500)
commit395aaff1ed21b37b49cba1a453a26effb2f4ca59
tree60f99e0fb3b7aa9fa4191426b5b163c286d96f9dtree
parent85842c3ad03ab94586c6b34eb01149f449bff52dcommit | diff
 Split term canonize utility to own file and document (#2398)
src/Makefile.am diff | blob | history
src/theory/quantifiers/alpha_equivalence.cpp diff | blob | history
src/theory/quantifiers/anti_skolem.cpp diff | blob | history
src/theory/quantifiers/conjecture_generator.cpp diff | blob | history
src/theory/quantifiers/conjecture_generator.h diff | blob | history
src/theory/quantifiers/term_canonize.cpp [new file with mode: 0644] blob
src/theory/quantifiers/term_canonize.h [new file with mode: 0644] blob
src/theory/quantifiers/term_util.cpp diff | blob | history
src/theory/quantifiers/term_util.h diff | blob | history
src/theory/quantifiers_engine.cpp diff | blob | history
src/theory/quantifiers_engine.h diff | blob | history