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