Examples of kodkod.engine.CapacityExceededException

kodkod.engine.CapacityExceededException
ns a vector of dimensions which exceed the representation capacity @author Emina Torlak

   * @throws CapacityExceededException if all tuples of the given arity 
   * drawn from this.universe cannot be represented as an integer.
   */
  void checkCapacity(int arity) { 
    if (StrictMath.pow(base,arity) > Integer.MAX_VALUE) {
      throw new CapacityExceededException("Arity too large (" + arity + ") for a universe of size " + universe.size(), Ints.nCopies(arity, base));
    }
  }

View Full Code Here

    }
    
    static int capacity(int n, int size) { 
      final long cap = Math.round(Math.pow(size,n));
      if (cap>Integer.MAX_VALUE || cap<=0) 
        throw new CapacityExceededException("Matrix too large: requested capacity of " + cap, Ints.nCopies(n, size));
      return (int)cap;
    }

View Full Code Here

     *             capacity = dimensions[0]*dimensions[1]*...*dimensions[dimensions.length-1] 
     */
    Rectangle(int[] dims, long capacity) {
      super((int)capacity);
      if (capacity>Integer.MAX_VALUE || capacity<=0) 
        throw new CapacityExceededException("Matrix too large: requested capacity of " + capacity, Ints.asIntVector(dims));
      this.dimensions = dims;
    }

View Full Code Here

TOP

Related Classes of kodkod.engine.CapacityExceededException

kodkod.engine.bool.Dimensions$Rectangle

kodkod.engine.bool.Dimensions$Square

kodkod.instance.TupleFactory

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.