4 references to AndExpr
System.Data.Entity (4)
System\Data\Common\Utils\Boolean\KnowledgeBase.cs (1)
140
:
base
(new Implication(left, right), new Implication(right, left))
System\Data\Mapping\ViewGeneration\QueryRewriting\FragmentQueryKB.cs (1)
29
_kbExpression = new
AndExpr
<DomainConstraint<BoolLiteral, Constant>>(_kbExpression, fact);
System\Data\Mapping\ViewGeneration\QueryRewriting\FragmentQueryProcessor.cs (2)
99
new
AndExpr
<BoolDomainConstraint>(_kb.KbExpression, condition.Tree));
135
new
AndExpr
<DomainConstraint<BoolLiteral, Constant>>(view.Condition.Tree,