diff options
Diffstat (limited to 'subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/predicate/PredicateTranslator.java')
-rw-r--r-- | subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/predicate/PredicateTranslator.java | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/predicate/PredicateTranslator.java b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/predicate/PredicateTranslator.java index 16745da1..b401118e 100644 --- a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/predicate/PredicateTranslator.java +++ b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/predicate/PredicateTranslator.java | |||
@@ -78,7 +78,14 @@ public class PredicateTranslator implements ModelStoreConfiguration { | |||
78 | .clause(mayLiterals) | 78 | .clause(mayLiterals) |
79 | .build(); | 79 | .build(); |
80 | translator.may(may); | 80 | translator.may(may); |
81 | } else if (!defaultValue.may()) { | 81 | } else if (defaultValue.may()) { |
82 | // If all values are permitted, we don't need to check for any forbidden values in the model. | ||
83 | // If the result of this predicate of {@code ERROR}, some other partial relation (that we check for) | ||
84 | // will be {@code ERROR} as well. | ||
85 | translator.exclude(null); | ||
86 | translator.accept(null); | ||
87 | translator.objective(null); | ||
88 | } else { | ||
82 | translator.mayNever(); | 89 | translator.mayNever(); |
83 | } | 90 | } |
84 | storeBuilder.with(translator); | 91 | storeBuilder.with(translator); |