2 references to CnfClause
System.Data.Entity (2)
System\Data\Common\Utils\Boolean\Converter.cs (2)
111
var emptyClause = new
CnfClause
<T_Identifier>(Set<Literal<T_Identifier>>.Empty);
145
var clause = new
CnfClause
<T_Identifier>(new Set<Literal<T_Identifier>>(path.Select(l => l.MakeNegated())));