2 instantiations of DnfClause
System.Data.Entity (2)
System\Data\Common\Utils\Boolean\Converter.cs (2)
103var emptyClause = new DnfClause<T_Identifier>(Set<Literal<T_Identifier>>.Empty); 139var clause = new DnfClause<T_Identifier>(path);
11 references to DnfClause
System.Data.Entity (11)
System\Data\Common\Utils\Boolean\Clause.cs (2)
109IEquatable<DnfClause<T_Identifier>> 120public bool Equals(DnfClause<T_Identifier> other)
System\Data\Common\Utils\Boolean\Converter.cs (7)
103var emptyClause = new DnfClause<T_Identifier>(Set<Literal<T_Identifier>>.Empty); 104var emptyClauseSet = new Set<DnfClause<T_Identifier>>(); 116_dnf = new DnfSentence<T_Identifier>(Set<DnfClause<T_Identifier>>.Empty); 121Set<DnfClause<T_Identifier>> dnfClauses = new Set<DnfClause<T_Identifier>>(); 133private void FindAllPaths(Vertex vertex, Set<CnfClause<T_Identifier>> cnfClauses, Set<DnfClause<T_Identifier>> dnfClauses, 139var clause = new DnfClause<T_Identifier>(path);
System\Data\Common\Utils\Boolean\Sentence.cs (2)
125internal sealed class DnfSentence<T_Identifier> : Sentence<T_Identifier, DnfClause<T_Identifier>> 128internal DnfSentence(Set<DnfClause<T_Identifier>> clauses)