Examples of kodkod.ast.Variable.declare()

kodkod.ast.Variable.declare()
Returns the declaration that constrains this variable to be bound to the specified number of the elements in the given expression: 'this: mult expr'. @return {d: Decl | d.variable = this && d.multiplicity = mult && d.expression = expr } @throws NullPointerException - expression = null || mult = null @throws IllegalArgumentException - mult = NO @throws IllegalArgumentException - mult in ONE + LONE + SOME && expr.arity != 1 @throws IllegalArgumentException - this.arity != expr.arity

    if (ret!=null) return ret;
    
    final Variable variable = (Variable) decl.variable().accept(this);
    final Expression expression = decl.expression().accept(this);
    ret = (variable==decl.variable() && expression==decl.expression()) ?
        decl : variable.declare(decl.multiplicity(), expression); 
    return cache(decl,ret);
  }
  
  /** 
   * Calls lookup(relation) 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.