From e0efa34eee39f3edf7ee95cbb4ae209477ed8206 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Wed, 13 Sep 2023 19:07:16 +0200 Subject: 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. --- .../tools/refinery/language/web/generator/ModelGenerationWorker.java | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'subprojects/language-web/src') diff --git a/subprojects/language-web/src/main/java/tools/refinery/language/web/generator/ModelGenerationWorker.java b/subprojects/language-web/src/main/java/tools/refinery/language/web/generator/ModelGenerationWorker.java index e14982a7..77fc7484 100644 --- a/subprojects/language-web/src/main/java/tools/refinery/language/web/generator/ModelGenerationWorker.java +++ b/subprojects/language-web/src/main/java/tools/refinery/language/web/generator/ModelGenerationWorker.java @@ -178,7 +178,8 @@ public class ModelGenerationWorker implements Runnable { .with(PropagationAdapter.builder()) .with(StateCoderAdapter.builder()) .with(DesignSpaceExplorationAdapter.builder()) - .with(ReasoningAdapter.builder()); + .with(ReasoningAdapter.builder() + .requiredInterpretations(Concreteness.CANDIDATE)); var modelSeed = initializer.createModel(problem, storeBuilder); var store = storeBuilder.build(); cancellationToken.checkCancelled(); -- cgit v1.2.3-54-g00ecf