1 package Analysis.TaskStateAnalysis;
7 public class ObjWrapper implements Wrapper {
10 HashSet<TagWrapper> tags;
12 public ObjWrapper(FlagState fs) {
14 this.fs=new HashSet<FlagState>();
15 tags=new HashSet<TagWrapper>();
19 this.fs=new HashSet<FlagState>();
20 this.tags=new HashSet<TagWrapper>();