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