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