Examples of kodkod.ast.IntExpression.apply()

kodkod.ast.IntExpression.apply()
Returns an expression that represents the application of the given unary operator to this integer expression. @requires op.unary() @return {e: IntExpression | e.op = op and e.intExpr = this }

  public IntExpression visit(UnaryIntExpression intExpr) {
    IntExpression ret = lookup(intExpr);
    if (ret!=null) return ret;


    final IntExpression child = intExpr.intExpr().accept(this);
    ret = (child==intExpr.intExpr()) ?  intExpr : child.apply(intExpr.op());
    return cache(intExpr,ret);
  }
  
    /** 
   * Calls lookup(intExpr) and returns the cached value, if any.

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.