3 references to DnfSentence
System.Data.Entity (3)
System\Data\Common\Utils\Boolean\Converter.cs (3)
106_dnf = new DnfSentence<T_Identifier>(emptyClauseSet.MakeReadOnly()); 116_dnf = new DnfSentence<T_Identifier>(Set<DnfClause<T_Identifier>>.Empty); 128_dnf = new DnfSentence<T_Identifier>(dnfClauses.MakeReadOnly());