3 instantiations of CnfSentence
System.Data.Entity (3)
System\Data\Common\Utils\Boolean\Converter.cs (3)
101_cnf = new CnfSentence<T_Identifier>(Set<CnfClause<T_Identifier>>.Empty); 114_cnf = new CnfSentence<T_Identifier>(emptyClauseSet.MakeReadOnly()); 127_cnf = new CnfSentence<T_Identifier>(cnfClauses.MakeReadOnly());
2 references to CnfSentence
System.Data.Entity (2)
System\Data\Common\Utils\Boolean\Converter.cs (2)
29private CnfSentence<T_Identifier> _cnf; 51internal CnfSentence<T_Identifier> Cnf