1 package Analysis.TaskStateAnalysis;
7 public class TagWrapper {
11 public TagWrapper(TagState ts) {
13 this.ts=new Vector<TagState>();
17 public TagWrapper clone() {
18 TagWrapper tw=new TagWrapper();
24 public boolean equals(Object o) {
25 if (o instanceof TagWrapper) {
26 TagWrapper tw=(TagWrapper)o;
27 return tw.initts.equals(initts)&&tw.ts.equals(ts);
32 public int hashCode() {
33 return initts.hashCode()^ts.hashCode();