Bugfix: add toString for EnumerationAtom

alpha-asp · Aug 9, 2024 · 119e2b1 · 119e2b1
1 parent 1dcdbf0
commit 119e2b1
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 1 deletion.
diff --git a/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/externals/AspStandardLibrary.java b/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/externals/AspStandardLibrary.java
@@ -245,6 +245,7 @@ public static Set<List<ConstantTerm<String>>> substringOfString(String str, int
 		}
 	}
 
+	// TODO we could add something to convert string to list
 	@Predicate(name = "str_x_xs")
 	public static Set<List<ConstantTerm<String>>> stringHeadRemainder(String str) {
 		List<ConstantTerm<String>> xXs = new ArrayList<>();

diff --git a/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/atoms/AbstractAtom.java b/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/atoms/AbstractAtom.java
@@ -98,4 +98,7 @@ public Atom renameVariables(String newVariablePrefix) {
 	@Override
 	public abstract int hashCode();
 
+	@Override
+	public abstract String toString();
+
 }
diff --git a/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/atoms/EnumerationAtom.java b/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/atoms/EnumerationAtom.java
@@ -167,5 +167,10 @@ public boolean equals(Object o) {
 	public int hashCode() {
 		return 31 * ENUMERATION_PREDICATE.hashCode() + getTerms().hashCode();
 	}
-
+
+	@Override
+	public String toString() {
+		return String.format("%s(%s,%s,%s)", ENUMERATION_PREDICATE.getName(), enumIdTerm, valueTerm, indexTerm);
+	}
+
 }