1 package Analysis.TaskStateAnalysis;
7 public class FlagTagState {
11 public FlagTagState(TagState ts, FlagState fs) {
16 public boolean equals(Object o) {
17 if (o instanceof FlagTagState) {
18 FlagTagState fts=(FlagTagState) o;
19 return ts.equals(fts.ts)&&fs.equals(fts.fs);
24 public int hashCode() {
25 return ts.hashCode()^fs.hashCode();