diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-08-07 20:22:55 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-07 20:22:55 -0500 |
| commit | 43ae3483320d7964166407f84d04339ece944bbf (patch) | |
| tree | d1e657aba1cad526398eceb3ec29f55f161820d1 /src/theory/uf/equality_engine_notify.h | |
| parent | 62661dbf501407495aa5f5d700b9d1f1f97376d2 (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.
Diffstat (limited to 'src/theory/uf/equality_engine_notify.h')
0 files changed, 0 insertions, 0 deletions