1 files changed, 0 insertions, 32 deletions

diff --git a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/literal/PartialRelationLiteral.java b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/literal/PartialRelationLiteral.java
deleted file mode 100644
index aff84538..00000000
--- a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/literal/PartialRelationLiteral.java
+++ /dev/null
@@ -1,32 +0,0 @@
-package tools.refinery.store.reasoning.literal;
-
-import tools.refinery.store.reasoning.representation.PartialRelation;
-import tools.refinery.store.query.Variable;
-import tools.refinery.store.query.literal.CallLiteral;
-import tools.refinery.store.query.literal.CallPolarity;
-import tools.refinery.store.query.literal.PolarLiteral;
-import tools.refinery.store.query.substitution.Substitution;
-
-import java.util.List;
-
-public final class PartialRelationLiteral extends CallLiteral<PartialRelation>
-                implements PolarLiteral<PartialRelationLiteral> {
-        public PartialRelationLiteral(CallPolarity polarity, PartialRelation target, List<Variable> substitution) {
-                super(polarity, target, substitution);
-        }
-
-        @Override
-        public Class<PartialRelation> getTargetType() {
-                return PartialRelation.class;
-        }
-
-        @Override
-        public PartialRelationLiteral substitute(Substitution substitution) {
-                return new PartialRelationLiteral(getPolarity(), getTarget(), substituteArguments(substitution));
-        }
-
-        @Override
-        public PartialRelationLiteral negate() {
-                return new PartialRelationLiteral(getPolarity().negate(), getTarget(), getArguments());
-        }
-}