diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-09-01 15:50:58 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-01 15:50:58 -0500 |
| commit | 2add221570239ded0e9865be22d1cb1b4e7ef0b1 (patch) | |
| tree | b096f3a369c0497ae78ccc7f7c685e9e0218f8c1 /src/proof/cnf_proof.cpp | |
| parent | 56b6eabba4202b8fb848c97b04e12f622eba411f (diff) | |
Add TheoryInference base class (#4990)
This introduces a TheoryInference base class, which is a generalization and cleaner version of the former Lemma object. This changes the name of Lemma -> SimpleTheoryLemma, and makes the callback responsible for calling the inference manager.
This PR also updates the datatypes inference manager to use the new style. This required adding some additional interfaces to TheoryInferenceManager.
Diffstat (limited to 'src/proof/cnf_proof.cpp')
0 files changed, 0 insertions, 0 deletions