Ejemplo n.º 1
0
 public override bool Equals(PathCond other)
 {
     return(other is Conj && conds.UnsequencedEquals((other as Conj).conds));
 }
Ejemplo n.º 2
0
 public override bool Equals(PathCond other)
 {
     return(other is Disj && conds.UnsequencedEquals(((Disj)other).conds));
 }