public class Less extends Greater
<
operator implementation.ITernaryComparator.COMPARE_RESULT
Constructor and Description |
---|
Less() |
Modifier and Type | Method and Description |
---|---|
protected IExpr |
checkAssumptions(IExpr arg1,
IExpr arg2)
Check assumptions for the comparison operator.
|
ITernaryComparator.COMPARE_RESULT |
compare(IExpr a0,
IExpr a1)
Return TRUE if the comparison is
true
Return FALSE if the comparison is false
Return UNDEFINED if the comparison is undetermined (i.e. could not be evaluated)
|
protected IAST |
simplifyCompare(IExpr a1,
IExpr a2)
Try to simplify a comparator expression.
|
evaluate, prepareCompare, setUp, simplifyCompare
createRuleFromMethod, getNormalizedNegativeExpression, getNormalizedNegativeExpression, getPeriodicParts, getPureImaginaryPart, getRuleAST, initSerializedRules, isNegativeExpression
numericEval
public static final Less CONST
protected IExpr checkAssumptions(IExpr arg1, IExpr arg2)
GreaterEqual, Less, LessEqual
.checkAssumptions
in class Greater
arg1
- the left-hand-side of the comparisonarg2
- the right-hand-side of the comparisonprotected IAST simplifyCompare(IExpr a1, IExpr a2)
3*x > 6
will be simplified to x > 2
.simplifyCompare
in class Greater
a1
- left-hand-side of the comparator expressiona2
- right-hand-side of the comparator expressionnull
if no
simplification was foundpublic ITernaryComparator.COMPARE_RESULT compare(IExpr a0, IExpr a1)
true
false
compare
in interface ITernaryComparator<IExpr>
compare
in class Greater