projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 561b989) | patch
Make `node_value.h` not depend on `node_manager.h` (#7676)
authorAndres Noetzli <andres.noetzli@gmail.com>
Tue, 23 Nov 2021 16:57:28 +0000 (08:57 -0800)
committerGitHub <noreply@github.com>
Tue, 23 Nov 2021 16:57:28 +0000 (16:57 +0000)
commit175568cab882b8aec8172691cc165049eeea1c0f
tree9730615a425a77c7d7fb0020aa83a689875c5589tree
parent561b989855693fed2e06101223b46f11f4a8963acommit | diff
Make `node_value.h` not depend on `node_manager.h` (#7676)

This commit breaks a circular dependency by making `node_value.h` not
depend on `node_manager.h`. As a result, we can remove the hack-y
include of `node_manager.h` in the middle of the `node_value.h` file.
src/expr/node.h diff | blob | history
src/expr/node_value.cpp diff | blob | history
src/expr/node_value.h diff | blob | history
src/expr/type_node.h diff | blob | history