From 99bf3b8c4c5dfe301a47e8798231c5a5cce946ab Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Tue, 2 Jul 2024 20:08:05 +0200 Subject: fix(semantics): traceability for internal rules --- .../reasoning/actions/CleanupActionLiteral.java | 43 ---------------------- 1 file changed, 43 deletions(-) delete mode 100644 subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/actions/CleanupActionLiteral.java (limited to 'subprojects/store-reasoning') diff --git a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/actions/CleanupActionLiteral.java b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/actions/CleanupActionLiteral.java deleted file mode 100644 index 6a0004d9..00000000 --- a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/actions/CleanupActionLiteral.java +++ /dev/null @@ -1,43 +0,0 @@ -/* - * SPDX-FileCopyrightText: 2023 The Refinery Authors - * - * SPDX-License-Identifier: EPL-2.0 - */ -package tools.refinery.store.reasoning.actions; - -import tools.refinery.store.dse.transition.actions.AbstractActionLiteral; -import tools.refinery.store.dse.transition.actions.BoundActionLiteral; -import tools.refinery.store.model.Model; -import tools.refinery.logic.term.NodeVariable; -import tools.refinery.store.reasoning.ReasoningAdapter; -import tools.refinery.store.tuple.Tuple; - -import java.util.List; - -public class CleanupActionLiteral extends AbstractActionLiteral { - private final NodeVariable node; - - public CleanupActionLiteral(NodeVariable node) { - this.node = node; - } - - public NodeVariable getNode() { - return node; - } - - @Override - public List getInputVariables() { - return List.of(node); - } - - @Override - public List getOutputVariables() { - return List.of(); - } - - @Override - public BoundActionLiteral bindToModel(Model model) { - var reasoningAdapter = model.getAdapter(ReasoningAdapter.class); - return tuple -> reasoningAdapter.cleanup(tuple.get(0)) ? Tuple.of() : null; - } -} -- cgit v1.2.3-70-g09d2