globalLocTupleList.add(tuple);
}
+ public void addGlobalFlowTupleSet(ArrayList<NTuple<Location>> in) {
+ globalLocTupleList.addAll(in);
+ }
+
public Iterator<NTuple<Location>> globalIterator() {
return globalLocTupleList.iterator();
}
globalLocTupleList = in;
}
+ public ArrayList<NTuple<Location>> getGlobalLocTupleSet() {
+ return globalLocTupleList;
+ }
+
private void setDescTupleList(ArrayList<NTuple<Descriptor>> in) {
list = in;
}