public boolean ge(EnumerationFactory e) { // ">="
   return this.getPos() >= e.getPos();
 }
 public boolean le(EnumerationFactory e) { // "<="
   return this.getPos() <= e.getPos();
 }
 public boolean gt(EnumerationFactory e) { // ">"
   return this.getPos() > e.getPos();
 }
 /**
  * Order relations Object.op (OtherObject) representing the relation Object op OtherObject.
  *
  * @param e the right operand
  */
 public boolean lt(EnumerationFactory e) { // "<"
   return this.getPos() < e.getPos();
 }