1 override of AddFact
System.Data.Entity (1)
System\Data\Mapping\ViewGeneration\QueryRewriting\FragmentQueryKB.cs (1)
26
internal override void
AddFact
(BoolExpr<DomainConstraint<BoolLiteral, Constant>> fact)
4 references to AddFact
System.Data.Entity (4)
System\Data\Common\Utils\Boolean\KnowledgeBase.cs (3)
59
AddFact
(fact);
84
AddFact
(new Implication(condition, implies));
96
AddFact
(new Equivalence(left, right));
System\Data\Mapping\ViewGeneration\QueryRewriting\FragmentQueryKB.cs (1)
28
base.
AddFact
(fact);