1 package Analysis.SSJava;
3 import java.util.HashMap;
4 import java.util.HashSet;
5 import java.util.Iterator;
9 public class BasisSet {
11 // an element of the basis set is represented by a pair (HNode,basis)
12 Map<Set<Integer>, HNode> map;
15 map = new HashMap<Set<Integer>, HNode>();
18 public void addElement(Set<Integer> basis, HNode node) {
22 public Iterator<Set<Integer>> basisIterator() {
23 return map.keySet().iterator();
26 public HNode getHNode(Set<Integer> B) {
30 public Set<HNode> getHNodeSet() {
31 Set<HNode> set = new HashSet<HNode>();
32 set.addAll(map.values());
36 public Set<Set<Integer>> getBasisSetByHNodeSet(Set<HNode> nodeSet) {
38 Set<Set<Integer>> rtrSet = new HashSet<Set<Integer>>();
40 Set<Set<Integer>> keySet = map.keySet();
41 for (Iterator iterator = keySet.iterator(); iterator.hasNext();) {
42 Set<Integer> basisKey = (Set<Integer>) iterator.next();
43 HNode node = map.get(basisKey);
44 if (nodeSet.contains(node)) {