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