rba.tool.core/src/rba/tool/core/util/SortResult.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
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;
    }
}