public Conjunction(params WFF[] c) { List <WFF> con = new List <WFF>(); foreach (WFF a in c) { if (a is Conjunction) { Conjunction b = (Conjunction)a; con.AddRange(b.conjuncts); } else { con.Add(a); } } conjuncts = con.ToArray(); }
public Conjunction(params WFF[] c) { List <WFF> con = new List <WFF>(); foreach (WFF a in c) { if (a is Conjunction) { Conjunction b = (Conjunction)a; con.AddRange(b.conjuncts); } else { con.Add(a); } } conjuncts = con.ToArray(); }