/**
  * Copyright (c): Uwe Schmidt, FH Wedel
  *
  * You may study, modify and distribute this source code
  * FOR NON-COMMERCIAL PURPOSES ONLY.
  * This copyright message has to remain unchanged.
  *
  * Note that this document is provided 'as is',
  * WITHOUT WARRANTY of any kind either expressed or implied.
  */

/**
 *
 * @author Uwe Schmidt
 *
 * eine abstrakte Klasse fuer eine
 * totale Ordnung, basierend auf
 * der Schnittstelle fuer die Ordnung
 *
 */

//--------------------

public
abstract
class AbstractOrdering <Element>
  implements Ordering <Element>
{
  //--------------------
  // die 2 abstrakten Operationen

  public
  abstract
  boolean eq(Element v2);

  public
  abstract
  boolean ge(Element v2);

  //--------------------
  // die anderen 4 Operationen
  // werden auf == und >= zurueckgefuehrt

  public
  boolean ne(Element v2) {
    return
      ! eq(v2);
  }

  public
  boolean gr(Element v2) {
    return
      ge(v2) && ! eq(v2);
  }

  public
  boolean le(Element v2) {
    return
      ! gr(v2);
  }

  public
  boolean lt(Element v2) {
    return
      ! ge(v2);
  }

}

//--------------------