public CompoundState(AbstractState s1, AbstractState s2, Marking marking) { S1 = s1; S2 = s2; Marking = marking; _hashcode = s1.GetHashCode() ^ s2.GetHashCode(); }
public CompoundState(AbstractState s1, AbstractState s2, int count) { S1 = s1; S2 = s2; Marking = (s1.Marking == s2.Marking) ? s1.Marking : Marking.Unmarked; _hashcode = s1.GetHashCode()*count + s2.GetHashCode(); }