diff options
author | Gereon Kremer <gkremer@stanford.edu> | 2021-02-11 20:00:18 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-02-11 20:00:18 +0100 |
commit | f5486884229348516ac26300273e4f5458a74208 (patch) | |
tree | 8e48bd833c3e55b247adca891ec2081fc9077528 /test | |
parent | 8fcb59d072b09bfaf8f56334182d425274842461 (diff) |
Add InferenceId member to TheoryInference, adapt all derived classes. (#5894)
This PR adds a new InferenceId member to the TheoryInference class.
All classes derived from TheoryInference are adapted accordingly.
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions