projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 62661db) | patch
Move datatype index constant to its own file (#4859)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Sat, 8 Aug 2020 01:22:55 +0000 (20:22 -0500)
committerGitHub <noreply@github.com>
Sat, 8 Aug 2020 01:22:55 +0000 (20:22 -0500)
commit43ae3483320d7964166407f84d04339ece944bbf
treed1e657aba1cad526398eceb3ec29f55f161820d1tree
parent62661dbf501407495aa5f5d700b9d1f1f97376d2commit | diff
Move datatype index constant to its own file (#4859)

Towards removing the Expr-level datatype.

Moves DatatypeIndex to its own file, which is the only thing that is necessary remaining from expr/datatype.h.

Also updates the datatype kinds file in preparation for the removal.
src/expr/CMakeLists.txt diff | blob | history
src/expr/datatype.cpp diff | blob | history
src/expr/datatype.h diff | blob | history
src/expr/datatype_index.cpp [new file with mode: 0644] blob
src/expr/datatype_index.h [new file with mode: 0644] blob
src/theory/datatypes/kinds diff | blob | history
src/theory/quantifiers/sygus/ce_guided_single_inv_sol.cpp diff | blob | history
src/theory/quantifiers/sygus/ce_guided_single_inv_sol.h diff | blob | history