2 references to IsSatisfiable
System.Data.Entity (2)
System\Data\Mapping\ViewGeneration\QueryRewriting\FragmentQueryProcessor.cs (2)
92
return
IsSatisfiable
(query.Condition);
137
bool isImplied = false ==
IsSatisfiable
(exclusion);