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 /src/theory/strings/infer_info.h | |
| 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 'src/theory/strings/infer_info.h')
| -rw-r--r-- | src/theory/strings/infer_info.h | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/theory/strings/infer_info.h b/src/theory/strings/infer_info.h index c0667e53c..d697f42ae 100644 --- a/src/theory/strings/infer_info.h +++ b/src/theory/strings/infer_info.h @@ -72,14 +72,12 @@ class InferenceManager; class InferInfo : public TheoryInference { public: - InferInfo(); + InferInfo(InferenceId id); ~InferInfo() {} /** Process this inference */ bool process(TheoryInferenceManager* im, bool asLemma) override; /** Pointer to the class used for processing this info */ InferenceManager* d_sim; - /** The inference identifier */ - InferenceId d_id; /** Whether it is the reverse form of the above id */ bool d_idRev; /** The conclusion */ |