Package kodkod.engine.bool

Examples of kodkod.engine.bool.Dimensions


    final int univSize = universe().size();
    if (c==Expression.UNIV) {
      final IntSet all =  Ints.rangeSet(Ints.range(0, univSize-1));
      return factory().matrix(Dimensions.square(univSize, 1), all, all);
    } else if (c==Expression.IDEN) {
      final Dimensions dim2 = Dimensions.square(univSize, 2);
      final IntSet iden = Ints.bestSet(dim2.capacity());
      for(int i = 0; i < univSize; i++) {
        iden.add(i*univSize + i);
      }     
      return factory().matrix(dim2, iden, iden);
    } else if (c==Expression.NONE) {
View Full Code Here

TOP

Related Classes of kodkod.engine.bool.Dimensions

Copyright © 2018 www.massapicom. All rights reserved.
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.