AngouriMath
MayPushNotInside(System.Collections.Generic.IEnumerable{AngouriMath.Entity},System.Boolean)
Method (no overloads)
Summary
Whether pushing a not through this conjunction or disjunction leaves the
expression no more complex: at most one operand may be something other than a
comparison, since only a comparison absorbs the negation into itself.
expression no more complex: at most one operand may be something other than a
comparison, since only a comparison absorbs the negation into itself.
Remarks
negation counts as a comparison here.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online