diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-08-11 21:53:13 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-11 21:53:13 -0500 |
| commit | 8b1f36ef24beaf3fa0708c28c53042a5c823c79c (patch) | |
| tree | 81b5398a7c01b9936e0db883ff3684cc03ef5328 /src/theory/sets/cardinality_extension.h | |
| parent | 1c06ccdb1228fc7ef14440e1f29cf016cf5756c9 (diff) | |
Final preparations for changing API to use the Node-level datatype (#4863)
This includes all fixes encountered while fixing unit tests with the Term -> Node version of Datatypes in the API.
After all pending PRs are merged, the next step will be to convert the new API to use e.g. CVC4::DType instead of CVC4::Datatype everywhere.
Diffstat (limited to 'src/theory/sets/cardinality_extension.h')
0 files changed, 0 insertions, 0 deletions