diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-04-20 14:53:07 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-20 14:53:07 -0500 |
| commit | a76b222149e828ed0fe7fb6e91684552dc7b64ec (patch) | |
| tree | daed349df6924755c2a1e32d601f03328aa00da7 /src/theory/strings/infer_info.cpp | |
| parent | ecf3e9c874095e836b5ea4d9bed6b063b2a5f108 (diff) | |
Add SCOPE proof rule (#4332)
This rule is dual to ASSUME. It is a way of closing free assumptions to conclude an implication.
It also changes getId -> getRule.
Diffstat (limited to 'src/theory/strings/infer_info.cpp')
0 files changed, 0 insertions, 0 deletions