diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2020-06-03 20:56:24 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-03 20:56:24 -0700 |
| commit | 5938faaf034a761f3462d8e03b86b1726a332f68 (patch) | |
| tree | 864fcd067ac024689b2fb3ee782ce7edd99e0a3a /src/parser/parser.cpp | |
| parent | 418b0281e62a6b657da32f6504965269ad90c18b (diff) | |
New C++ Api: First batch of API guards. (#4557)
This is the first batch of API guards, mainly extending existing guards
in the Solver object with checks that Ops, Terms, Sorts, and datatype objects
are associated to this solver object.
This further changes how DatatypeConstructorDecl objects are created. Previously,
they were not created via the Solver object (while DatatypeDecl was). Now, they are
created via Solver::mkDatatypeConstructorDecl, consistent with how DatatypeDecl
objects are created.
Diffstat (limited to 'src/parser/parser.cpp')
0 files changed, 0 insertions, 0 deletions