projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5e31ee3) | patch
Use InferenceManager in ExtTheory (#7006)
authorGereon Kremer <nafur42@gmail.com>
Mon, 16 Aug 2021 16:11:18 +0000 (09:11 -0700)
committerGitHub <noreply@github.com>
Mon, 16 Aug 2021 16:11:18 +0000 (16:11 +0000)
commit11b6d67d32160681d4495fd92930ffb6ddb79abe
treee03474a3be09a3be7d041e315767854ee331f415tree
parent5e31ee3a34388d6d44129e898897bdb1297009decommit | diff
Use InferenceManager in ExtTheory (#7006)

This PR refactors the ExtTheory class to use a given inference manager instead of a given output channel.
src/theory/arith/nl/nonlinear_extension.cpp diff | blob | history
src/theory/ext_theory.cpp diff | blob | history
src/theory/ext_theory.h diff | blob | history
src/theory/inference_id.cpp diff | blob | history
src/theory/inference_id.h diff | blob | history
src/theory/strings/theory_strings.cpp diff | blob | history
src/theory/strings/theory_strings.h diff | blob | history