Examples of kodkod.instance.TupleSet.indexView()

kodkod.instance.TupleSet.indexView()
Returns an unmodifiable int set view of the tuples stored in this set. Specifically, the returned int set contains an integer i iff this set contains a tuple with the index i. The view is backed by this set, so changes to this set are reflected in the index set. @return { s: IntSet | s.ints = {i: int | some t: this.tuples | t.index = i}

    final Map<IntSet, IntSet> range2domain = new HashMap<IntSet, IntSet>((usize*2) / 3);
    
    // refine the partitions based on the bounds for each integer
    for(IntIterator iter = bounds.ints().iterator(); iter.hasNext();) {
      TupleSet exact = bounds.exactBound(iter.next());
      refinePartitions(exact.indexView(), 1, range2domain);
    }
    
    // refine the partitions based on the upper/lower bounds for each relation
    for(TupleSet s : sort(bounds)) {
      if (parts.size()==usize) return;

View Full Code Here

    final Instance instance = new Instance(bounds.universe());
//    System.out.println(varUsage);
    for(Relation r : bounds.relations()) {
      TupleSet lower = bounds.lowerBound(r);
      IntSet indeces = Ints.bestSet(lower.capacity());
      indeces.addAll(lower.indexView());
      IntSet vars = primaryVarUsage.get(r);
      if (vars!=null) {
        int lit = vars.min();
        for(IntIterator iter = bounds.upperBound(r).indexView().iterator(); iter.hasNext();) {
          final int index = iter.next();

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.