diff options
Diffstat (limited to 'subprojects/store-reasoning-scope/src')
| -rw-r--r-- | subprojects/store-reasoning-scope/src/test/java/tools/refinery/store/reasoning/scope/PredicateScopeTest.java | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/subprojects/store-reasoning-scope/src/test/java/tools/refinery/store/reasoning/scope/PredicateScopeTest.java b/subprojects/store-reasoning-scope/src/test/java/tools/refinery/store/reasoning/scope/PredicateScopeTest.java index d21bd12e..a2c56a6b 100644 --- a/subprojects/store-reasoning-scope/src/test/java/tools/refinery/store/reasoning/scope/PredicateScopeTest.java +++ b/subprojects/store-reasoning-scope/src/test/java/tools/refinery/store/reasoning/scope/PredicateScopeTest.java | |||
| @@ -84,6 +84,8 @@ class PredicateScopeTest { | |||
| 84 | .seed(MultiObjectTranslator.COUNT_SYMBOL, builder -> builder.reducedValue(CardinalityIntervals.ONE)) | 84 | .seed(MultiObjectTranslator.COUNT_SYMBOL, builder -> builder.reducedValue(CardinalityIntervals.ONE)) |
| 85 | .seed(ContainmentHierarchyTranslator.CONTAINED_SYMBOL, | 85 | .seed(ContainmentHierarchyTranslator.CONTAINED_SYMBOL, |
| 86 | builder -> builder.reducedValue(TruthValue.UNKNOWN)) | 86 | builder -> builder.reducedValue(TruthValue.UNKNOWN)) |
| 87 | .seed(ContainmentHierarchyTranslator.CONTAINS_SYMBOL, | ||
| 88 | builder -> builder.reducedValue(TruthValue.UNKNOWN)) | ||
| 87 | .seed(index, builder -> builder.reducedValue(TruthValue.TRUE)) | 89 | .seed(index, builder -> builder.reducedValue(TruthValue.TRUE)) |
| 88 | .seed(next, builder -> builder | 90 | .seed(next, builder -> builder |
| 89 | .reducedValue(TruthValue.UNKNOWN) | 91 | .reducedValue(TruthValue.UNKNOWN) |