package name.panitz.data.list;
class NegativeOrderingCondition<a>  extends FilterCondition<a>{
  a x;
  Relation<a,a> rel;

  NegativeOrderingCondition(a x,Relation<a,a> rel){
    this.x=x;
    this.rel = rel;
  }
    
  boolean condition(a y){
    return !rel.lessEqual(y,x);
  }
}