diff options
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.java | 48 |
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 @@ | |||
1 | package tools.refinery.store.partial.translator; | ||
2 | |||
3 | import tools.refinery.store.partial.PartialInterpretationBuilder; | ||
4 | import tools.refinery.store.model.Model; | ||
5 | import tools.refinery.store.model.ModelStoreBuilder; | ||
6 | import tools.refinery.store.partial.AnyPartialSymbolInterpretation; | ||
7 | import tools.refinery.store.partial.literal.Modality; | ||
8 | import tools.refinery.store.partial.representation.AnyPartialSymbol; | ||
9 | import tools.refinery.store.partial.representation.PartialRelation; | ||
10 | import tools.refinery.store.query.Variable; | ||
11 | import tools.refinery.store.query.literal.CallPolarity; | ||
12 | import tools.refinery.store.query.literal.Literal; | ||
13 | |||
14 | import java.util.Collection; | ||
15 | import java.util.List; | ||
16 | import java.util.Map; | ||
17 | |||
18 | public 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 | } | ||