diff options
author | 2023-11-17 17:21:59 +0100 | |
---|---|---|
committer | 2023-11-19 14:41:16 +0100 | |
commit | 78cca26065698c65fc5fe11e3b99a8ba41f0f295 (patch) | |
tree | 370c156b526ba36c9158f79fc80b7cbdb7d00ada /subprojects/language-semantics | |
parent | chore(deps): bump dependencies (diff) | |
download | refinery-78cca26065698c65fc5fe11e3b99a8ba41f0f295.tar.gz refinery-78cca26065698c65fc5fe11e3b99a8ba41f0f295.tar.zst refinery-78cca26065698c65fc5fe11e3b99a8ba41f0f295.zip |
fix: upper and lower scopes
Make sure the scope bound guides the best-first search and is always obeyed even
if it can't be fully represented using the scoped partial model abstraction.
For representable bounds (classes and unary predicate that are always fully
knwon to be false or true in the initial model) this leads to duplicated
computations.
Diffstat (limited to 'subprojects/language-semantics')
0 files changed, 0 insertions, 0 deletions