From c64e925d15cbc187623eb5ac28e5c769d8673321 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Thu, 17 Aug 2023 21:12:45 +0200 Subject: refactor: candidate interpreation only on demand Avoid creating interpretations not needed for the graph analysis task. --- .../java/tools/refinery/language/web/semantics/SemanticsService.java | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'subprojects/language-web/src') diff --git a/subprojects/language-web/src/main/java/tools/refinery/language/web/semantics/SemanticsService.java b/subprojects/language-web/src/main/java/tools/refinery/language/web/semantics/SemanticsService.java index c828b3d5..2495430e 100644 --- a/subprojects/language-web/src/main/java/tools/refinery/language/web/semantics/SemanticsService.java +++ b/subprojects/language-web/src/main/java/tools/refinery/language/web/semantics/SemanticsService.java @@ -65,7 +65,8 @@ public class SemanticsService extends AbstractCachedService { var initializer = initializerProvider.get(); var builder = ModelStore.builder() .with(ViatraModelQueryAdapter.builder()) - .with(ReasoningAdapter.builder()); + .with(ReasoningAdapter.builder() + .requiredInterpretations(Concreteness.PARTIAL)); operationCanceledManager.checkCanceled(cancelIndicator); try { var modelSeed = initializer.createModel(problem, builder); @@ -84,7 +85,7 @@ public class SemanticsService extends AbstractCachedService { } return new SemanticsSuccessResult(nodeTrace, partialInterpretation); } catch (RuntimeException e) { - LOG.error("Error while computing semantics", e); + LOG.debug("Error while computing semantics", e); return new SemanticsErrorResult(e.getMessage()); } } -- cgit v1.2.3-54-g00ecf