blob: 838a325e2c9ec196be5f15481c74f9e3e12b4248 (
plain)
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;
}
}
|