diff options
author | Kristóf Marussy <kristof@marussy.com> | 2023-09-13 19:07:16 +0200 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2023-09-13 19:07:16 +0200 |
commit | e0efa34eee39f3edf7ee95cbb4ae209477ed8206 (patch) | |
tree | 29343870bf46280dde7bad8e457b871966163fea /subprojects/frontend/src/Loading.tsx | |
parent | fix: hide new node names in generated models (diff) | |
download | refinery-e0efa34eee39f3edf7ee95cbb4ae209477ed8206.tar.gz refinery-e0efa34eee39f3edf7ee95cbb4ae209477ed8206.tar.zst refinery-e0efa34eee39f3edf7ee95cbb4ae209477ed8206.zip |
refactor: do not construct uneeded interpretation
Model generation only has to extract the candidate interpretaion, partial
intepretation queries are only needed if they appear in a rule, constraint, or
objective.
Diffstat (limited to 'subprojects/frontend/src/Loading.tsx')
0 files changed, 0 insertions, 0 deletions