projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bf2e118) | patch
Reorder NodeManager class according to code guidelines. (#7873)
authorAina Niemetz <aina.niemetz@gmail.com>
Tue, 4 Jan 2022 20:15:53 +0000 (12:15 -0800)
committerGitHub <noreply@github.com>
Tue, 4 Jan 2022 20:15:53 +0000 (20:15 +0000)
commit2b78fb1eab7aac831980b9396f924579b65b03b6
treecda370ca9e35a706e0dabf2fb615a9fce1d34addtree
parentbf2e11809489faaf92bb47ca1923628622dcf177commit | diff
Reorder NodeManager class according to code guidelines. (#7873)

This only moves code, and removes some redundant inline keywords.
src/expr/node_manager_template.h diff | blob | history