1 files changed, 38 insertions, 0 deletions
diff --git a/rba.tool.core/src/rba/tool/core/util/SortResult.java b/rba.tool.core/src/rba/tool/core/util/SortResult.java
new file mode 100644
index 0000000..838a325
--- /dev/null
+++ b/rba.tool.core/src/rba/tool/core/util/SortResult.java
@@ -0,0 +1,38 @@
+package rba.tool.core.util;
+
+import java.util.ArrayList;
+import java.util.List;
+
+import rba.core.RuleObject;
+
+public class SortResult<T extends RuleObject> {
+    private List<SortResultSet<T>> sortResults = new ArrayList<SortResultSet<T>>();
+
+    private boolean isUnsat;
+
+    public List<SortResultSet<T>> getSortResults() {
+        return sortResults;
+    }
+
+    public boolean addSortResult(SortResultSet<T> sortResult) {
+        return sortResults.add(sortResult);
+    }
+
+    public SortResultSet<T> getSortResultSet(RuleObject obj) {
+        for (SortResultSet<T> sortResult : sortResults) {
+            T element = sortResult.getElement();
+            if (element.equals(obj)) {
+                return sortResult;
+            }
+        }
+        return null;
+    }
+
+    public boolean isUnsat() {
+        return isUnsat;
+    }
+
+    public void setUnsat(boolean isUnsat) {
+        this.isUnsat = isUnsat;
+    }
+}