aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/store-partial/src/main/java/tools/refinery/store/partial/translator/TranslationUnit.java
diff options
context:
space:
mode:
Diffstat (limited to 'subprojects/store-partial/src/main/java/tools/refinery/store/partial/translator/TranslationUnit.java')
-rw-r--r--subprojects/store-partial/src/main/java/tools/refinery/store/partial/translator/TranslationUnit.java48
1 files changed, 0 insertions, 48 deletions
diff --git a/subprojects/store-partial/src/main/java/tools/refinery/store/partial/translator/TranslationUnit.java b/subprojects/store-partial/src/main/java/tools/refinery/store/partial/translator/TranslationUnit.java
deleted file mode 100644
index 26bd909b..00000000
--- a/subprojects/store-partial/src/main/java/tools/refinery/store/partial/translator/TranslationUnit.java
+++ /dev/null
@@ -1,48 +0,0 @@
1package tools.refinery.store.partial.translator;
2
3import tools.refinery.store.partial.PartialInterpretationBuilder;
4import tools.refinery.store.model.Model;
5import tools.refinery.store.model.ModelStoreBuilder;
6import tools.refinery.store.partial.AnyPartialSymbolInterpretation;
7import tools.refinery.store.partial.literal.Modality;
8import tools.refinery.store.partial.representation.AnyPartialSymbol;
9import tools.refinery.store.partial.representation.PartialRelation;
10import tools.refinery.store.query.Variable;
11import tools.refinery.store.query.literal.CallPolarity;
12import tools.refinery.store.query.literal.Literal;
13
14import java.util.Collection;
15import java.util.List;
16import java.util.Map;
17
18public abstract class TranslationUnit {
19 private PartialInterpretationBuilder partialInterpretationBuilder;
20
21 protected PartialInterpretationBuilder getPartialInterpretationBuilder() {
22 return partialInterpretationBuilder;
23 }
24
25 public void setPartialInterpretationBuilder(PartialInterpretationBuilder partialInterpretationBuilder) {
26 this.partialInterpretationBuilder = partialInterpretationBuilder;
27 }
28
29 protected ModelStoreBuilder getModelStoreBuilder() {
30 return partialInterpretationBuilder.getStoreBuilder();
31 }
32
33 public abstract Collection<AnyPartialSymbol> getTranslatedPartialSymbols();
34
35 public Collection<Advice> computeAdvices() {
36 // No advices to give by default.
37 return List.of();
38 }
39
40 public abstract void configure(Collection<Advice> advices);
41
42 public abstract List<Literal> call(CallPolarity polarity, Modality modality, PartialRelation target,
43 List<Variable> arguments);
44
45 public abstract Map<AnyPartialSymbol, AnyPartialSymbolInterpretation> createPartialInterpretations(Model model);
46
47 public abstract void initializeModel(Model model, int nodeCount);
48}