diff options
Diffstat (limited to 'subprojects/store/src')
5 files changed, 81 insertions, 17 deletions
diff --git a/subprojects/store/src/main/java/tools/refinery/store/partial/PartialInterpretation.java b/subprojects/store/src/main/java/tools/refinery/store/partial/PartialInterpretation.java new file mode 100644 index 00000000..7d367937 --- /dev/null +++ b/subprojects/store/src/main/java/tools/refinery/store/partial/PartialInterpretation.java | |||
@@ -0,0 +1,18 @@ | |||
1 | package tools.refinery.store.partial; | ||
2 | |||
3 | import tools.refinery.store.adapter.ModelAdapterBuilderFactory; | ||
4 | import tools.refinery.store.model.ModelStoreBuilder; | ||
5 | |||
6 | public final class PartialInterpretation extends ModelAdapterBuilderFactory<PartialModelAdapter, | ||
7 | PartialModelStoreAdapter, PartialModelAdapterBuilder> { | ||
8 | public static final PartialInterpretation ADAPTER = new PartialInterpretation(); | ||
9 | |||
10 | private PartialInterpretation() { | ||
11 | super(PartialModelAdapter.class, PartialModelStoreAdapter.class, PartialModelAdapterBuilder.class); | ||
12 | } | ||
13 | |||
14 | @Override | ||
15 | public PartialModelAdapterBuilder createBuilder(ModelStoreBuilder storeBuilder) { | ||
16 | return new PartialModelAdapterBuilder(storeBuilder); | ||
17 | } | ||
18 | } | ||
diff --git a/subprojects/store/src/main/java/tools/refinery/store/partial/PartialModelAdapter.java b/subprojects/store/src/main/java/tools/refinery/store/partial/PartialModelAdapter.java new file mode 100644 index 00000000..cdab5606 --- /dev/null +++ b/subprojects/store/src/main/java/tools/refinery/store/partial/PartialModelAdapter.java | |||
@@ -0,0 +1,24 @@ | |||
1 | package tools.refinery.store.partial; | ||
2 | |||
3 | import tools.refinery.store.adapter.ModelAdapter; | ||
4 | import tools.refinery.store.model.Model; | ||
5 | |||
6 | public class PartialModelAdapter implements ModelAdapter { | ||
7 | private final Model model; | ||
8 | private final PartialModelStoreAdapter storeAdapter; | ||
9 | |||
10 | PartialModelAdapter(Model model, PartialModelStoreAdapter storeAdapter) { | ||
11 | this.model = model; | ||
12 | this.storeAdapter = storeAdapter; | ||
13 | } | ||
14 | |||
15 | @Override | ||
16 | public Model getModel() { | ||
17 | return model; | ||
18 | } | ||
19 | |||
20 | @Override | ||
21 | public PartialModelStoreAdapter getStoreAdapter() { | ||
22 | return storeAdapter; | ||
23 | } | ||
24 | } | ||
diff --git a/subprojects/store/src/main/java/tools/refinery/store/partial/PartialModelAdapterBuilder.java b/subprojects/store/src/main/java/tools/refinery/store/partial/PartialModelAdapterBuilder.java new file mode 100644 index 00000000..0d4a32b9 --- /dev/null +++ b/subprojects/store/src/main/java/tools/refinery/store/partial/PartialModelAdapterBuilder.java | |||
@@ -0,0 +1,16 @@ | |||
1 | package tools.refinery.store.partial; | ||
2 | |||
3 | import tools.refinery.store.adapter.AbstractModelAdapterBuilder; | ||
4 | import tools.refinery.store.model.ModelStore; | ||
5 | import tools.refinery.store.model.ModelStoreBuilder; | ||
6 | |||
7 | public class PartialModelAdapterBuilder extends AbstractModelAdapterBuilder { | ||
8 | PartialModelAdapterBuilder(ModelStoreBuilder storeBuilder) { | ||
9 | super(storeBuilder); | ||
10 | } | ||
11 | |||
12 | @Override | ||
13 | public PartialModelStoreAdapter createStoreAdapter(ModelStore store) { | ||
14 | return null; | ||
15 | } | ||
16 | } | ||
diff --git a/subprojects/store/src/main/java/tools/refinery/store/partial/PartialModelStoreAdapter.java b/subprojects/store/src/main/java/tools/refinery/store/partial/PartialModelStoreAdapter.java new file mode 100644 index 00000000..d9432a7d --- /dev/null +++ b/subprojects/store/src/main/java/tools/refinery/store/partial/PartialModelStoreAdapter.java | |||
@@ -0,0 +1,23 @@ | |||
1 | package tools.refinery.store.partial; | ||
2 | |||
3 | import tools.refinery.store.adapter.ModelStoreAdapter; | ||
4 | import tools.refinery.store.model.Model; | ||
5 | import tools.refinery.store.model.ModelStore; | ||
6 | |||
7 | public class PartialModelStoreAdapter implements ModelStoreAdapter { | ||
8 | private final ModelStore store; | ||
9 | |||
10 | PartialModelStoreAdapter(ModelStore store) { | ||
11 | this.store = store; | ||
12 | } | ||
13 | |||
14 | @Override | ||
15 | public ModelStore getStore() { | ||
16 | return store; | ||
17 | } | ||
18 | |||
19 | @Override | ||
20 | public PartialModelAdapter createModelAdapter(Model model) { | ||
21 | return new PartialModelAdapter(model, this); | ||
22 | } | ||
23 | } | ||
diff --git a/subprojects/store/src/main/java/tools/refinery/store/query/atom/ModalRelation.java b/subprojects/store/src/main/java/tools/refinery/store/query/atom/ModalRelation.java deleted file mode 100644 index c2ca1fdb..00000000 --- a/subprojects/store/src/main/java/tools/refinery/store/query/atom/ModalRelation.java +++ /dev/null | |||
@@ -1,17 +0,0 @@ | |||
1 | package tools.refinery.store.query.atom; | ||
2 | |||
3 | import tools.refinery.store.representation.SymbolLike; | ||
4 | import tools.refinery.store.representation.Symbol; | ||
5 | import tools.refinery.store.representation.TruthValue; | ||
6 | |||
7 | public record ModalRelation(Modality modality, Symbol<TruthValue> relation) implements SymbolLike { | ||
8 | @Override | ||
9 | public String name() { | ||
10 | return "%s %s".formatted(modality, relation); | ||
11 | } | ||
12 | |||
13 | @Override | ||
14 | public int arity() { | ||
15 | return relation.arity(); | ||
16 | } | ||
17 | } | ||