List of indexView() Examples

Examples of indexView()

com.alvazan.orm.api.z3api.NoSqlTypedSession.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}

Examples of com.alvazan.orm.api.z3api.NoSqlTypedSession.indexView()

    NoSqlTypedSession s = mgr.getTypedSession();
    String cf = data.getColFamily();
    String field = data.getColumn();
    String by = data.getPartitionBy();
    String id = data.getPartitionId();
    Cursor<IndexPoint> indexView = s.indexView(cf, field, by, id);
    Cursor<IndexPoint> indexView2 = s.indexView(cf, field, by, id);
    
    DboTableMeta meta = data.getTableMeta();
    DboColumnMeta colMeta = data.getColumnMeta();
    System.out.println("indexed value type="+colMeta.getStorageType());

View Full Code Here

Examples of com.alvazan.orm.api.z3api.NoSqlTypedSession.indexView()

    String cf = data.getColFamily();
    String field = data.getColumn();
    String by = data.getPartitionBy();
    String id = data.getPartitionId();
    Cursor<IndexPoint> indexView = s.indexView(cf, field, by, id);
    Cursor<IndexPoint> indexView2 = s.indexView(cf, field, by, id);
    
    DboTableMeta meta = data.getTableMeta();
    DboColumnMeta colMeta = data.getColumnMeta();
    System.out.println("indexed value type="+colMeta.getStorageType());
    System.out.println("row key type="+meta.getIdColumnMeta().getStorageType());

View Full Code Here

Examples of com.alvazan.orm.api.z3api.NoSqlTypedSession.indexView()

    String cf = data.getColFamily();
    String field = data.getColumn();
    String by = data.getPartitionBy();
    String id = data.getPartitionId();


    Cursor<IndexPoint> indexView = s.indexView(cf, field, by, id);


    DboTableMeta meta = data.getTableMeta();
    DboColumnMeta colMeta = data.getColumnMeta();
    System.out.println("indexed value type="+colMeta.getStorageType());
    System.out.println("row key type="+meta.getIdColumnMeta().getStorageType());

View Full Code Here

Examples of com.alvazan.orm.api.z3api.NoSqlTypedSession.indexView()

    NoSqlTypedSession s = mgr.getTypedSession();
    String cf = data.getColFamily();
    String field = data.getColumn();
    String by = data.getPartitionBy();
    String id = data.getPartitionId();
    Cursor<IndexPoint> indexView = s.indexView(cf, field, by, id);
    Cursor<IndexPoint> indexView2 = s.indexView(cf, field, by, id);
    
    DboTableMeta meta = data.getTableMeta();
    DboColumnMeta colMeta = data.getColumnMeta();
    System.out.println("indexed value type="+colMeta.getStorageType());

View Full Code Here

Examples of com.alvazan.orm.api.z3api.NoSqlTypedSession.indexView()

    String cf = data.getColFamily();
    String field = data.getColumn();
    String by = data.getPartitionBy();
    String id = data.getPartitionId();
    Cursor<IndexPoint> indexView = s.indexView(cf, field, by, id);
    Cursor<IndexPoint> indexView2 = s.indexView(cf, field, by, id);
    
    DboTableMeta meta = data.getTableMeta();
    DboColumnMeta colMeta = data.getColumnMeta();
    System.out.println("indexed value type="+colMeta.getStorageType());
    System.out.println("row key type="+meta.getIdColumnMeta().getStorageType());

View Full Code Here

Examples of com.alvazan.orm.api.z3api.NoSqlTypedSession.indexView()

    String cf = data.getColFamily();
    String field = data.getColumn();
    String by = data.getPartitionBy();
    String id = data.getPartitionId();


    Cursor<IndexPoint> indexView = s.indexView(cf, field, by, id);


    DboTableMeta meta = data.getTableMeta();
    DboColumnMeta colMeta = data.getColumnMeta();
    System.out.println("indexed value type="+colMeta.getStorageType());
    System.out.println("row key type="+meta.getIdColumnMeta().getStorageType());

View Full Code Here

Examples of kodkod.instance.TupleSet.indexView()

    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

Examples of kodkod.instance.TupleSet.indexView()

    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

0 1

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.