From 171d2c8e0d8d585ecd52c409863d683358403ce8 Mon Sep 17 00:00:00 2001
From: Michael Langowski <michael.langowski@gmx.at>
Date: Wed, 30 Oct 2024 20:20:45 +0100
Subject: [PATCH] enhancement: more specific type for action result in action
 witness definition

---
 .../at/ac/tuwien/kr/alpha/core/actions/ActionWitness.java  | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/actions/ActionWitness.java b/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/actions/ActionWitness.java
index 265780719..a20e2eab4 100644
--- a/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/actions/ActionWitness.java
+++ b/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/actions/ActionWitness.java
@@ -1,6 +1,7 @@
 package at.ac.tuwien.kr.alpha.core.actions;
 
 import at.ac.tuwien.kr.alpha.api.grounder.Substitution;
+import at.ac.tuwien.kr.alpha.api.programs.terms.ActionResultTerm;
 import at.ac.tuwien.kr.alpha.api.programs.terms.Term;
 
 import java.util.List;
@@ -11,9 +12,9 @@ public class ActionWitness {
 	private final Substitution groundSubstitution;
 	private final String actionName;
 	private final List<Term> actionInput;
-	private final Term actionResult;
+	private final ActionResultTerm<?> actionResult;
 
-	public ActionWitness(int ruleId, Substitution groundSubstitution, String actionName, List<Term> actionInput, Term actionResult) {
+	public ActionWitness(int ruleId, Substitution groundSubstitution, String actionName, List<Term> actionInput, ActionResultTerm<?> actionResult) {
 		this.ruleId = ruleId;
 		this.groundSubstitution = groundSubstitution;
 		this.actionName = actionName;
@@ -37,7 +38,7 @@ public List<Term> getActionInput() {
 		return actionInput;
 	}
 
-	public Term getActionResult() {
+	public ActionResultTerm<?> getActionResult() {
 		return actionResult;
 	}