public override bool Equals(object obj) { if (obj is Disjunction) { Disjunction d = (Disjunction)obj; return(setEquals(disjuncts, d.disjuncts)); } return(false); }
public Disjunction(params WFF[] d) { List <WFF> dis = new List <WFF>(); foreach (WFF a in d) { if (a is Disjunction) { Disjunction b = (Disjunction)a; dis.AddRange(b.disjuncts); } else { dis.Add(a); } } disjuncts = dis.ToArray(); }