diff options
Diffstat (limited to 'subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/multiobject/UpperCardinalityView.java')
-rw-r--r-- | subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/multiobject/UpperCardinalityView.java | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/multiobject/UpperCardinalityView.java b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/multiobject/UpperCardinalityView.java index 6be6ae1b..5797c4b0 100644 --- a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/multiobject/UpperCardinalityView.java +++ b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/multiobject/UpperCardinalityView.java | |||
@@ -5,11 +5,11 @@ | |||
5 | */ | 5 | */ |
6 | package tools.refinery.store.reasoning.translator.multiobject; | 6 | package tools.refinery.store.reasoning.translator.multiobject; |
7 | 7 | ||
8 | import tools.refinery.store.query.term.Parameter; | 8 | import tools.refinery.logic.term.Parameter; |
9 | import tools.refinery.store.query.view.AbstractFunctionView; | 9 | import tools.refinery.store.query.view.AbstractFunctionView; |
10 | import tools.refinery.store.representation.Symbol; | 10 | import tools.refinery.store.representation.Symbol; |
11 | import tools.refinery.store.representation.cardinality.CardinalityInterval; | 11 | import tools.refinery.logic.term.cardinalityinterval.CardinalityInterval; |
12 | import tools.refinery.store.representation.cardinality.UpperCardinality; | 12 | import tools.refinery.logic.term.uppercardinality.UpperCardinality; |
13 | 13 | ||
14 | class UpperCardinalityView extends AbstractFunctionView<CardinalityInterval> { | 14 | class UpperCardinalityView extends AbstractFunctionView<CardinalityInterval> { |
15 | public UpperCardinalityView(Symbol<CardinalityInterval> symbol) { | 15 | public UpperCardinalityView(Symbol<CardinalityInterval> symbol) { |