1 files changed, 12 insertions, 4 deletions

diff --git a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/internal/TransformationRule.java b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/internal/TransformationRule.java
index 015d4815..8123c0d6 100644
--- a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/internal/TransformationRule.java
+++ b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/internal/TransformationRule.java
@@ -14,8 +14,7 @@ import tools.refinery.store.query.resultset.OrderedResultSet;
 import tools.refinery.store.query.resultset.ResultSet;
 import tools.refinery.store.tuple.Tuple;
 
-import java.util.LinkedHashSet;
-import java.util.Random;
+import java.util.*;
 
 public class TransformationRule {
 
@@ -66,11 +65,11 @@ public class TransformationRule {
                 return precondition;
         }
 
-        public ResultSet<Boolean> getAllActivationsAsSets() {
+        public ResultSet<Boolean> getAllActivationsAsResultSet() {
                 return activations;
         }
 
-        public LinkedHashSet<Activation> getAllActivations() {
+        public Set<Activation> getAllActivations() {
                 var result = new LinkedHashSet<Activation>();
                 var cursor = activations.getAll();
                 while (cursor.move()) {
@@ -79,6 +78,15 @@ public class TransformationRule {
                 return result;
         }
 
+        public List<Activation> getAllActivationsAsList() {
+                var result = new ArrayList<Activation>();
+                var cursor = activations.getAll();
+                while (cursor.move()) {
+                        result.add(new Activation(this, cursor.getKey()));
+                }
+                return result;
+        }
+
         public Activation getRandomActivation() {
                 return new Activation(this, activations.getKey(random.nextInt(activations.size())));
         }