List of gte() Examples

Examples of gte()

com.sun.codemodel.JVar.gte()
heart.alsvfd.Value.gte()
A method that should be used to compare two values. It checks weather the value represented by an object that calls the method is greater 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 greater 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.gte()
Returns a formula stating that the value of this int expression is greater than or equal to the value of the given int expression The effect of this method is the same as calling this.compare(GTE, intExpr). @return this.compare(GTE, intExpr)

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

//                b.add(sysType.staticRef("out").invoke("println").arg(JExpr.lit("TD ").plus(targetDepthVar)
//                         .plus(JExpr.lit(" Depth: ")).plus(depthVar)
//                         .plus(JExpr.lit(" Name: " + name).plus(JExpr.lit(" Current: "))
//                               .plus(xsrVar.invoke("getName")))));


                JBlock loop = b._while(depthVar.gte(targetDepthVar.minus(JExpr.lit(1)))).body();


                b = loop._if(event.eq(JExpr.lit(XMLStreamConstants.START_ELEMENT)))._then();




                JConditional ifDepth = b._if(depthVar.eq(targetDepthVar));

View Full Code Here

Examples of heart.alsvfd.Value.gte()


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


  @Override

View Full Code Here

Examples of heart.alsvfd.Value.gte()

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


  /**
   * The method calculates the certainty of the formula being true.

View Full Code Here

Examples of kodkod.ast.IntExpression.gte()

            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);
            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);

View Full Code Here

Examples of kodkod.ast.IntExpression.gte()

            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);
            case PLUSPLUS: s=cset(a); return s.override(cset(b));
            case MUL: i=cint(a); return i.multiply(cint(b));

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.