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