diff options
author | Kristóf Marussy <kristof@marussy.com> | 2023-08-17 21:12:45 +0200 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2023-08-17 21:12:45 +0200 |
commit | c64e925d15cbc187623eb5ac28e5c769d8673321 (patch) | |
tree | 99c6d23a1eb787af6b77b5f3d53b01d497cbc918 /subprojects/language-web/src/main | |
parent | fix: typo in language-web build script (diff) | |
download | refinery-c64e925d15cbc187623eb5ac28e5c769d8673321.tar.gz refinery-c64e925d15cbc187623eb5ac28e5c769d8673321.tar.zst refinery-c64e925d15cbc187623eb5ac28e5c769d8673321.zip |
refactor: candidate interpreation only on demand
Avoid creating interpretations not needed for the graph analysis task.
Diffstat (limited to 'subprojects/language-web/src/main')
-rw-r--r-- | subprojects/language-web/src/main/java/tools/refinery/language/web/semantics/SemanticsService.java | 5 |
1 files changed, 3 insertions, 2 deletions
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<SemanticsResult> { | |||
65 | var initializer = initializerProvider.get(); | 65 | var initializer = initializerProvider.get(); |
66 | var builder = ModelStore.builder() | 66 | var builder = ModelStore.builder() |
67 | .with(ViatraModelQueryAdapter.builder()) | 67 | .with(ViatraModelQueryAdapter.builder()) |
68 | .with(ReasoningAdapter.builder()); | 68 | .with(ReasoningAdapter.builder() |
69 | .requiredInterpretations(Concreteness.PARTIAL)); | ||
69 | operationCanceledManager.checkCanceled(cancelIndicator); | 70 | operationCanceledManager.checkCanceled(cancelIndicator); |
70 | try { | 71 | try { |
71 | var modelSeed = initializer.createModel(problem, builder); | 72 | var modelSeed = initializer.createModel(problem, builder); |
@@ -84,7 +85,7 @@ public class SemanticsService extends AbstractCachedService<SemanticsResult> { | |||
84 | } | 85 | } |
85 | return new SemanticsSuccessResult(nodeTrace, partialInterpretation); | 86 | return new SemanticsSuccessResult(nodeTrace, partialInterpretation); |
86 | } catch (RuntimeException e) { | 87 | } catch (RuntimeException e) { |
87 | LOG.error("Error while computing semantics", e); | 88 | LOG.debug("Error while computing semantics", e); |
88 | return new SemanticsErrorResult(e.getMessage()); | 89 | return new SemanticsErrorResult(e.getMessage()); |
89 | } | 90 | } |
90 | } | 91 | } |