diff options
| author | Gereon Kremer <gkremer@stanford.edu> | 2021-02-18 22:33:10 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-18 22:33:10 +0100 |
| commit | 94fdbe4bb325b1ff1874a2e699cad6ea76f44185 (patch) | |
| tree | 1927e234fb4a59899ceac0aa3920f52e62bbb6ab /src/theory/uf | |
| parent | ba30b690b29e7e52dd8ea1ea953525c401abf3d9 (diff) | |
Add InferenceIds for sets theory. (#5900)
This PR introduces new InferenceId for the theory of sets and uses them instead of InferenceId::UNKNOWN.
Diffstat (limited to 'src/theory/uf')
0 files changed, 0 insertions, 0 deletions