projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 81ac7cd) | patch
Add scope methods constructing types in API (#5393)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 3 Nov 2020 23:47:15 +0000 (17:47 -0600)
committerGitHub <noreply@github.com>
Tue, 3 Nov 2020 23:47:15 +0000 (17:47 -0600)
commit7029e89bc6ada688da48dc54362aef180b7c20ef
treebb41df6904c57d63c10129d05948eb57fe8e34cftree
parent81ac7cd609ef011b615dccefde702fd5b3a5c39fcommit | diff
Add scope methods constructing types in API (#5393)

This addresses the nightly failures. It ensures a node manager is in scope when constructing type nodes.

It also simplifies the construction of atomic type nodes to avoid an extra TypeNode(...) constructor.
src/api/cvc4cpp.cpp diff | blob | history
src/expr/node_manager.cpp diff | blob | history
src/expr/node_manager.h diff | blob | history