5 instantiations of Literal
System.Data.Entity (5)
System\Data\Common\Utils\Boolean\BoolExpr.cs (1)
303Literal<T_Identifier> literal = new Literal<T_Identifier>(this, true);
System\Data\Common\Utils\Boolean\ConversionContext.cs (2)
89Literal<T_Identifier> literal = new Literal<T_Identifier>(term, true); 185var literal = new Literal<DomainConstraint<T_Variable, T_Element>>(
System\Data\Common\Utils\Boolean\IdentifierService.cs (2)
79return new Literal<T_Identifier>(literal.Term, !literal.IsTermPositive); 101return new Literal<DomainConstraint<T_Variable, T_Element>>(term, literal.IsTermPositive);
30 references to Literal
System.Data.Entity (30)
System\Data\Common\Utils\Boolean\BoolExpr.cs (2)
303Literal<T_Identifier> literal = new Literal<T_Identifier>(this, true); 305Literal<T_Identifier> negatedLiteral = literal.MakeNegated();
System\Data\Common\Utils\Boolean\Clause.cs (8)
26private readonly Set<Literal<T_Identifier>> _literals; 34protected Clause(Set<Literal<T_Identifier>> literals, ExprType treeType) 44internal Set<Literal<T_Identifier>> Literals 50private static BoolExpr<T_Identifier> ConvertLiteralsToExpr(Set<Literal<T_Identifier>> literals, ExprType treeType) 56new Func<Literal<T_Identifier>, BoolExpr<T_Identifier>>(ConvertLiteralToExpression)); 69private static BoolExpr<T_Identifier> ConvertLiteralToExpression(Literal<T_Identifier> literal) 115internal DnfClause(Set<Literal<T_Identifier>> literals) 148internal CnfClause(Set<Literal<T_Identifier>> literals)
System\Data\Common\Utils\Boolean\ConversionContext.cs (4)
48internal readonly Literal<T_Identifier> Literal; 50internal LiteralVertexPair(Vertex vertex, Literal<T_Identifier> literal) 89Literal<T_Identifier> literal = new Literal<T_Identifier>(term, true); 185var literal = new Literal<DomainConstraint<T_Variable, T_Element>>(
System\Data\Common\Utils\Boolean\Converter.cs (6)
103var emptyClause = new DnfClause<T_Identifier>(Set<Literal<T_Identifier>>.Empty); 111var emptyClause = new CnfClause<T_Identifier>(Set<Literal<T_Identifier>>.Empty); 123Set<Literal<T_Identifier>> path = new Set<Literal<T_Identifier>>(); 134Set<Literal<T_Identifier>> path) 145var clause = new CnfClause<T_Identifier>(new Set<Literal<T_Identifier>>(path.Select(l => l.MakeNegated())));
System\Data\Common\Utils\Boolean\IdentifierService.cs (6)
61internal abstract Literal<T_Identifier> NegateLiteral(Literal<T_Identifier> literal); 76internal override Literal<T_Identifier> NegateLiteral(Literal<T_Identifier> literal) 95internal override Literal<DomainConstraint<T_Variable, T_Element>> NegateLiteral(Literal<DomainConstraint<T_Variable, T_Element>> literal)
System\Data\Common\Utils\Boolean\Literal.cs (4)
30IEquatable<Literal<T_Identifier>> 68internal Literal<T_Identifier> MakeNegated() 83return Equals(obj as Literal<T_Identifier>); 86public bool Equals(Literal<T_Identifier> other)