projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2add221) | patch
(new theory) Update TheoryDatatypes to the new standard (#4986)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 1 Sep 2020 21:22:54 +0000 (16:22 -0500)
committerGitHub <noreply@github.com>
Tue, 1 Sep 2020 21:22:54 +0000 (16:22 -0500)
commit62ec0666dd4d409ee85603ae94d7ab1a2b4c9dcc
treec0d6d1b2a81ba23bf17847a063f4be397b17a5eetree
parent2add221570239ded0e9865be22d1cb1b4e7ef0b1commit | diff
 (new theory) Update TheoryDatatypes to the new standard (#4986)

Updates it to use the new inference manager as well as updating its check to the standard callbacks.
src/theory/datatypes/inference_manager.cpp diff | blob | history
src/theory/datatypes/inference_manager.h diff | blob | history
src/theory/datatypes/theory_datatypes.cpp diff | blob | history
src/theory/datatypes/theory_datatypes.h diff | blob | history