46 references to Condition
System.Data.Entity (46)
System\Data\Mapping\ViewGeneration\BasicViewGenerator.cs (2)
658intersection.Condition.ExpensiveSimplify(); 659RewritingValidator.EntityConfigurationToUserString(intersection.Condition, builder);
System\Data\Mapping\ViewGeneration\QueryRewriting\FragmentQuery.cs (3)
108return String.Format(CultureInfo.InvariantCulture, "{0}: [{1} where {2}]", Description, b, this.Condition); 112return String.Format(CultureInfo.InvariantCulture, "[{0} where {1}]", b, this.Condition); 176foreach (MemberRestriction oneOf in q.Condition.MemberRestrictions)
System\Data\Mapping\ViewGeneration\QueryRewriting\FragmentQueryProcessor.cs (11)
54BoolExpression condition = BoolExpression.CreateOr(q1.Condition, q2.Condition); 80BoolExpression condition = BoolExpression.CreateAnd(q1.Condition, q2.Condition); 87return FragmentQuery.Create(qA.Attributes, BoolExpression.CreateAndNot(qA.Condition, qB.Condition)); 92return IsSatisfiable(query.Condition); 113IEnumerable<DomainVariable<BoolLiteral, Constant>> variables = view.Condition.Variables; 134BoolExpression exclusion = view.Condition.Create( 135new AndExpr<DomainConstraint<BoolLiteral, Constant>>(view.Condition.Tree, 151newProjectedAttributes, view.Condition);
System\Data\Mapping\ViewGeneration\QueryRewriting\QueryRewriter.cs (23)
293query.Condition.FixDomainMap(_domainMap); 333select fragmentQuery.Condition; 412BoolExpression whereClause = rewriting.Query.Condition; 536if (FindRewritingAndUsedViews(memberConditionQuery.Attributes, memberConditionQuery.Condition, outputUsedViews, out caseRewriting)) 574RewritingValidator.EntityConfigurationToUserString(memberConditionQuery.Condition, builder, _context.ViewTarget == ViewTarget.UpdateView); 623configurationNeedsDefault.Condition.ExpensiveSimplify(); 626RewritingValidator.EntityConfigurationToUserString(configurationNeedsDefault.Condition, builder); 640if (!_domainQuery.Condition.IsTrue) 643if (FindRewritingAndUsedViews(_keyAttributes, _domainQuery.Condition, outputUsedViews, out topLevelRewriting)) 693attributes, fragmentQuery.Condition); 694Tile<FragmentQuery> noNullToAvoid = CreateTile(FragmentQuery.Create(_keyAttributes, BoolExpression.CreateNot(fragmentQuery.Condition))); 712Tile<FragmentQuery> toAvoid = CreateTile(FragmentQuery.Create(_keyAttributes, BoolExpression.CreateNot(toFill.Query.Condition))); 857if (!RewriteQueryCached(CreateTile(FragmentQuery.Create(toFillQuery.Condition)), toAvoid, relevantViews, out rewriting)) 862toFillQuery = FragmentQuery.Create(toFillQuery.Attributes, BoolExpression.CreateAndNot(toFillQuery.Condition, rewriting.Query.Condition)); 864!RewriteQueryCached(CreateTile(FragmentQuery.Create(toFillQuery.Condition)), toAvoid, relevantViews, out rewriting)) 902attributeConditions[attribute] = FragmentQuery.Create(BoolExpression.CreateAndNot(toFillQuery.Condition, remainingCondition.Condition)); 995currentAttributeCondition = FragmentQuery.Create(BoolExpression.CreateAndNot(currentAttributeCondition.Condition, view.Condition)); 1212if (view.Condition.IsAlwaysTrue()) 1253from domainConstraint in query.Condition.VariableConstraints 1263return !_context.LeftFragmentQP.IsSatisfiable(FragmentQuery.Create(BoolExpression.CreateNot(query.Condition)));
System\Data\Mapping\ViewGeneration\QueryRewriting\RewritingValidator.cs (6)
96cQueryTree.RightFragmentQuery.Condition.ExpensiveSimplify(); 97sQueryTree.RightFragmentQuery.Condition.ExpensiveSimplify(); 143FragmentQuery cMinusS = FragmentQuery.Create(BoolExpression.CreateAnd(cMinusSx.Condition, inExtentCondition)); 144FragmentQuery sMinusC = FragmentQuery.Create(BoolExpression.CreateAnd(sMinusCx.Condition, inExtentCondition)); 152unsatisfiedConstraint = cMinusS.Condition; 157unsatisfiedConstraint = sMinusC.Condition;
System\Data\Mapping\ViewGeneration\Validation\ForeignConstraint.cs (1)
440BoolExpression endCondition = pNode.RightFragmentQuery.Condition.Create(endRoleBoolean);