A method that should be used to compare two values. It checks weather the value represented by an object that calls the method is greater than the value of a parameter. The method should be implemented in simple classes that operates on numbers like {@link SimpleNumeric}, but also in simple classes that introduce order in domain, like {@link SimpleSymbolic} with ordered domain.
@param v - a value to compare
@param t - a type with respect to witch the operator should work. If null, no domain is taken into consideration while evaluating.
@return true if the Value v is greater than the value of an object, false otherwise.
@throws UnsupportedOperationException in cases when operator is not applicable to the values being parameters of the operation.
@throws NotInTheDomainException
Create a predicate for testing whether the first argument is greater than the second.
@param x expression
@param y expression
@return greater-than predicate
Returns a formula stating that the value of this int expression is greater than the value of the given int expression The effect of this method is the same as calling this.compare(GT, intExpr).
@return this.compare(GT, intExpr)
Relational operator (greater than)
@param expr the right-hand operand
@return true if the value of the left-hand operand is greater than the value of the right-hand operand, and otherwise is false.
Relational operator (greater than)
@param expr the right-hand operand
@return true if the value of the left-hand operand is greater than the value of the right-hand operand, and otherwise is false.
Compares if this Date is greater than to a given Date
@param date is the date to be compared against this Date
@return f this Date is greater than to a given Date
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.