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/model_manager.h | |
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/model_manager.h')
0 files changed, 0 insertions, 0 deletions