Determines whether another Condition is necessarily true if this one is.
@param other the other Condition
@return whether the other Condition is implied by this one
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.