List of lte() Examples

Examples of lte()

com.sun.codemodel.JVar.lte()
heart.alsvfd.Value.lte()
A method that should be used to compare two values. It checks weather the value represented by an object that calls the method is less or equal to the value of a parameter. The method should be implemented in simple classes that operates on numbers like {@link SimpleNumeric}, but also in simple classes that introduce order in domain, like {@link SimpleSymbolic} with ordered domain. @param v - a value to compare @param t - a type with respect to witch the operator should work. If null, no domain is taken into consideration while evaluating. @return true if the Value v is less than or equal the value of an object, or in case when one or both of compared values are equal to {@link #ANY}, false otherwise. @throws UnsupportedOperationException in cases when operator is not applicable to the values being parameters of the operation. @throws NotInTheDomainException
kodkod.ast.IntExpression.lte()
Returns a formula stating that the value of this int expression is less than or equal to the value of the given int expression The effect of this method is the same as calling this.compare(LTE, intExpr). @return this.compare(LTE, intExpr)
org.elasticsearch.index.query.RangeFilterBuilder.lte()
The to part of the filter query. Null indicates unbounded.

Examples of com.sun.codemodel.JVar.lte()

      JVar list = body.decl(fieldOutline.getRawType(), "list", JExpr._this().invoke("get" + propertyName));
      JConditional _ifListIsTooSmall = body._if(list.invoke("size").lte(index));
      JBlock _ifListIsTooSmallThen = _ifListIsTooSmall._then();
      JForLoop _for = _ifListIsTooSmallThen._for();
      JVar i = _for.init(INT, "i", list.invoke("size"));
      _for.test(i.lte(index));
      _for.update(i.incr());
      _for.body().invoke(list, "add").arg(JExpr._null());


      JVar element = body.decl(elementClass, "value", list.invoke("get").arg(index));
      JConditional _ifElementIsNull = body._if(element.eq(JExpr._null()));

View Full Code Here

Examples of heart.alsvfd.Value.lte()


  @Override
  public UncertainTrue evaluateUncertainLte(Attribute at, Value v, WorkingMemory wm)
      throws UnsupportedOperationException, NotInTheDomainException {
    Value attributeValue = wm.getAttributeValue(at);
    boolean logicalValue = attributeValue.lte(v, at.getType());
    
    return (logicalValue ? new UncertainTrue(getMaxCertainty()): new UncertainTrue(getMinCertainty()));
  }


  @Override

View Full Code Here

Examples of heart.alsvfd.Value.lte()

    // If the value is completely unknown everything is possible.
    if(attributeValue instanceof Null && !(v instanceof Null)){
      return new UncertainTrue(0.0f);
    }
    
    boolean logicalValue = attributeValue.lte(v, at.getType());
    return evaluateUncertainTrueValue(at, v,wm, Formulae.OP_LTE, logicalValue);
  }




  @Override

View Full Code Here

Examples of kodkod.ast.IntExpression.lte()

        switch(x.op) {
            case IMPLIES: f=cform(a).not().or(cform(b)); return k2pos(f,x);
            case IN:      return k2pos(isIn(cset(a),b), x);
            case NOT_IN:  return k2pos(isIn(cset(a),b).not(), x);
            case LT:  i=cint(a);  f=i.lt(cint(b));   return k2pos(f,x);
            case LTE: i=cint(a);  f=i.lte(cint(b));  return k2pos(f,x);
            case GT:  i=cint(a);  f=i.gt(cint(b));   return k2pos(f,x);
            case GTE: i=cint(a);  f=i.gte(cint(b));  return k2pos(f,x);
            case NOT_LT:  i=cint(a);  f=i.lt(cint(b)).not();   return k2pos(f,x);
            case NOT_LTE: i=cint(a);  f=i.lte(cint(b)).not();  return k2pos(f,x);
            case NOT_GT:  i=cint(a);  f=i.gt(cint(b)).not();   return k2pos(f,x);

View Full Code Here

Examples of kodkod.ast.IntExpression.lte()

            case LT:  i=cint(a);  f=i.lt(cint(b));   return k2pos(f,x);
            case LTE: i=cint(a);  f=i.lte(cint(b));  return k2pos(f,x);
            case GT:  i=cint(a);  f=i.gt(cint(b));   return k2pos(f,x);
            case GTE: i=cint(a);  f=i.gte(cint(b));  return k2pos(f,x);
            case NOT_LT:  i=cint(a);  f=i.lt(cint(b)).not();   return k2pos(f,x);
            case NOT_LTE: i=cint(a);  f=i.lte(cint(b)).not();  return k2pos(f,x);
            case NOT_GT:  i=cint(a);  f=i.gt(cint(b)).not();   return k2pos(f,x);
            case NOT_GTE: i=cint(a);  f=i.gte(cint(b)).not();  return k2pos(f,x);
            case AND: f=cform(a); f=f.and(cform(b)); return k2pos(f,x);
            case OR:  f=cform(a); f=f.or(cform(b));  return k2pos(f,x);
            case IFF: f=cform(a); f=f.iff(cform(b)); return k2pos(f,x);

View Full Code Here

Examples of org.elasticsearch.index.query.RangeFilterBuilder.lte()

                }


                if (from != null)
                    rfb.to(to).includeUpper(true);
                else
                    rfb.lte(to);
            }


            if (from == null && to == null)
                return FilterBuilders.existsFilter(val);

View Full Code Here

Examples of org.elasticsearch.index.query.RangeFilterBuilder.lte()

    public void deleteUntil(Date removeUntil) {
        logger.info("Deleting tweets older than " + removeUntil);
        NotFilterBuilder notPersistentFilter = FilterBuilders.notFilter(FilterBuilders.existsFilter(UPDATE_DT));
        FilterBuilder fewRetweetsFilter = FilterBuilders.rangeFilter(RT_COUNT).lt(100).includeUpper(false);
        RangeFilterBuilder tooOldFilter = FilterBuilders.rangeFilter(DATE);
        tooOldFilter.lte(removeUntil);
        FilterBuilder filter = FilterBuilders.andFilter(tooOldFilter,
                notPersistentFilter, fewRetweetsFilter);


        client.prepareDeleteByQuery(getIndexName()).setTypes(getIndexType()).
                setQuery(QueryBuilders.filteredQuery(QueryBuilders.matchAllQuery(), filter)).

View Full Code Here

TOP

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.