public WhereClause(BooleanExpression ex)
{
CNF = new ConjunctiveNormalForm();
var disj = new Disjunction();
disj.OR.Add(ex);
CNF.AND.Add(disj);
}
public Disjunction(Disjunction other)
{
OR = new List <BooleanExpression>(other.OR.Count);
foreach (var boolexp in other.OR)
{
OR.Add((BooleanExpression)boolexp.Clone());
}
}
