Base:
method
IsSatisfiable
System.Data.Mapping.ViewGeneration.QueryRewriting.TileQueryProcessor<T_Query>.IsSatisfiable(T_Query)
9 references to IsSatisfiable
System.Data.Entity (9)
System\Data\Mapping\ViewGeneration\BasicViewGenerator.cs (1)
656if (LeftQP.IsSatisfiable(intersection))
System\Data\Mapping\ViewGeneration\QueryRewriting\FragmentQueryProcessor.cs (2)
61return !IsSatisfiable(Intersect(q1, q2)); 66return !IsSatisfiable(Difference(q1, q2));
System\Data\Mapping\ViewGeneration\QueryRewriting\QueryRewriter.cs (2)
615if (_context.RightFragmentQP.IsSatisfiable(configurationNeedsDefault)) 1263return !_context.LeftFragmentQP.IsSatisfiable(FragmentQuery.Create(BoolExpression.CreateNot(query.Condition)));
System\Data\Mapping\ViewGeneration\QueryRewriting\RewritingValidator.cs (3)
150if (_viewgenContext.RightFragmentQP.IsSatisfiable(cMinusS)) 155if (_viewgenContext.RightFragmentQP.IsSatisfiable(sMinusC)) 361if (cFragment != null && _viewgenContext.RightFragmentQP.IsSatisfiable(cFragment))
System\Data\Mapping\ViewGeneration\Structures\CellTreeNode.cs (1)
61get { return !m_viewgenContext.RightFragmentQP.IsSatisfiable(RightFragmentQuery); }