Jaa


Extensions.PushDownNot(Expression) Method

Definition

Rewrite the expression by pushing not down to the leaves.

public static AdaptiveExpressions.Expression PushDownNot (this AdaptiveExpressions.Expression expression);
static member PushDownNot : AdaptiveExpressions.Expression -> AdaptiveExpressions.Expression
<Extension()>
Public Function PushDownNot (expression As Expression) As Expression

Parameters

expression
Expression

Expression to rewrite.

Returns

Rewritten expression.

Remarks

Push down not to the leaves if possible. For and/or/not this uses DeMorgan's law and rewrites comparisons. You can define your own behavior by setting Negation to the negated evaluator.

Applies to