2 instantiations of 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())));
11 references to CnfClause
System.Data.Entity (11)
System\Data\Common\Utils\Boolean\Clause.cs (2)
142
IEquatable<
CnfClause
<T_Identifier>>
153
public bool Equals(
CnfClause
<T_Identifier> other)
System\Data\Common\Utils\Boolean\Converter.cs (7)
101
_cnf = new CnfSentence<T_Identifier>(Set<
CnfClause
<T_Identifier>>.Empty);
111
var
emptyClause = new CnfClause<T_Identifier>(Set<Literal<T_Identifier>>.Empty);
112
var emptyClauseSet = new Set<
CnfClause
<T_Identifier>>();
122
Set<
CnfClause
<T_Identifier>> cnfClauses = new Set<
CnfClause
<T_Identifier>>();
133
private void FindAllPaths(Vertex vertex, Set<
CnfClause
<T_Identifier>> cnfClauses, Set<DnfClause<T_Identifier>> dnfClauses,
145
var
clause = new CnfClause<T_Identifier>(new Set<Literal<T_Identifier>>(path.Select(l => l.MakeNegated())));
System\Data\Common\Utils\Boolean\Sentence.cs (2)
152
internal sealed class CnfSentence<T_Identifier> : Sentence<T_Identifier,
CnfClause
<T_Identifier>>
155
internal CnfSentence(Set<
CnfClause
<T_Identifier>> clauses)