AngouriMath
SplitOffParameterCondition(AngouriMath.Entity,AngouriMath.Entity.Variable,AngouriMath.Entity.Set,System.Boolean)
Method (no overloads)
Summary
A predicate that is a conjunction of a part free of x -- the
hypothesis about a parameter -- and a part inx that holds at
every member ofset : the hypothesis, and, where it is
parameter = value , the pair to substitute. null where the
predicate has no parameter part or its member part does not hold throughout.
hypothesis about a parameter -- and a part in
every member of
predicate has no parameter part or its member part does not hold throughout.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online