projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 299cf55) | patch
Remove obsolete private methods from API (#8716)
authorGereon Kremer <gkremer@cs.stanford.edu>
Wed, 4 May 2022 03:07:29 +0000 (20:07 -0700)
committerGitHub <noreply@github.com>
Wed, 4 May 2022 03:07:29 +0000 (03:07 +0000)
commitd282676a095cbcf3e9c879253bafd1b169089424
treefe366b101f54cc5f23cb846db50afcde53ec4c9dtree
parent299cf5548603cc81d86ca5af4ea171765e17f584commit | diff
Remove obsolete private methods from API (#8716)

This PR removes two private utilities from the API: Sort::sortSetToTypeNodes and one DatatypeDecl constructor.
src/api/cpp/cvc5.cpp diff | blob | history
src/api/cpp/cvc5.h diff | blob | history