1 files changed, 22 insertions, 0 deletions

diff --git a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/TranslatedRelation.java b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/TranslatedRelation.java
new file mode 100644
index 00000000..9bab80c9
--- /dev/null
+++ b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/TranslatedRelation.java
@@ -0,0 +1,22 @@
+package tools.refinery.store.reasoning.translator;
+
+import tools.refinery.store.model.Model;
+import tools.refinery.store.query.term.Variable;
+import tools.refinery.store.query.literal.CallPolarity;
+import tools.refinery.store.query.literal.Literal;
+import tools.refinery.store.reasoning.PartialInterpretation;
+import tools.refinery.store.reasoning.literal.Modality;
+import tools.refinery.store.reasoning.representation.PartialRelation;
+import tools.refinery.store.representation.TruthValue;
+
+import java.util.List;
+
+public interface TranslatedRelation {
+        PartialRelation getSource();
+
+        void configure(List<Advice> advices);
+
+        List<Literal> call(CallPolarity polarity, Modality modality, List<Variable> arguments);
+
+        PartialInterpretation<TruthValue, Boolean> createPartialInterpretation(Model model);
+}