List of denseIndices() Examples

   * a relation not mapped by this.instance
   */
  public TupleSet evaluate(Expression expression){
    if (expression == null) throw new NullPointerException("expression");
    final BooleanMatrix sol = Translator.evaluate(expression,instance,options);
    return instance.universe().factory().setOf(expression.arity(), sol.denseIndices());
  }
  
  /**
   * Evaluates the specified int expession with respect to the relation-tuple mappings 
   * given by this.instance and using this.options.

Examples of kodkod.engine.bool.BooleanMatrix.denseIndices()

    BooleanMatrix matrixBound = upperBound(skolemDecl.expression(), skolemEnv);
    for(int i = depth-1; i >= 0; i--) {
      matrixBound = nonSkolems.get(i).upperBound.cross(matrixBound);
    }


    final TupleSet skolemBound = bounds.universe().factory().setOf(arity, matrixBound.denseIndices());
    bounds.bound(skolem, skolemBound);


    return skolemExpr;
  }

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.

Examples of denseIndices()

Examples of kodkod.engine.bool.BooleanMatrix.denseIndices()

Examples of kodkod.engine.bool.BooleanMatrix.denseIndices()