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