package ordering;

/**
 * Abstract total order relation.
 * @author Dung X. Nguyen
 */
public abstract class AOrder
{
	public abstract boolean lt (Object x, Object y);
	// defines a "less than" strict ordering.

	public abstract boolean eq (Object x, Object y);
	// defines equality.

	public boolean ne (Object x, Object y)
   {
      return !eq(x, y);
   }

	public boolean le (Object x, Object y)
   {
      return lt(x, y) || eq(x, y);
   }

	public boolean gt (Object x, Object y)
   {
      return !le(x, y);
   }

	public boolean ge (Object x, Object y)
   {
      return !lt(x, y);
   }
}