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();
}
