diff options
Diffstat (limited to 'subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/metamodel/ReferenceInfoBuilder.java')
-rw-r--r-- | subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/metamodel/ReferenceInfoBuilder.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/metamodel/ReferenceInfoBuilder.java b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/metamodel/ReferenceInfoBuilder.java index 43d01503..39240d6b 100644 --- a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/metamodel/ReferenceInfoBuilder.java +++ b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/metamodel/ReferenceInfoBuilder.java | |||
@@ -11,8 +11,8 @@ import tools.refinery.store.reasoning.representation.PartialRelation; | |||
11 | import tools.refinery.store.reasoning.translator.multiplicity.ConstrainedMultiplicity; | 11 | import tools.refinery.store.reasoning.translator.multiplicity.ConstrainedMultiplicity; |
12 | import tools.refinery.store.reasoning.translator.multiplicity.Multiplicity; | 12 | import tools.refinery.store.reasoning.translator.multiplicity.Multiplicity; |
13 | import tools.refinery.store.reasoning.translator.multiplicity.UnconstrainedMultiplicity; | 13 | import tools.refinery.store.reasoning.translator.multiplicity.UnconstrainedMultiplicity; |
14 | import tools.refinery.store.representation.TruthValue; | 14 | import tools.refinery.logic.term.truthvalue.TruthValue; |
15 | import tools.refinery.store.representation.cardinality.CardinalityInterval; | 15 | import tools.refinery.logic.term.cardinalityinterval.CardinalityInterval; |
16 | 16 | ||
17 | public final class ReferenceInfoBuilder { | 17 | public final class ReferenceInfoBuilder { |
18 | private boolean containment; | 18 | private boolean containment; |