otBatchSize); TinyTablesTripleGenerator generator = new TinyTablesTripleGenerator(getMyId(), getDrng(), otFactory); return new BatchTinyTablesTripleProvider(generator, TRIP_BATCH_SIZE); };
otBatchSize); TinyTablesTripleGenerator generator = new TinyTablesTripleGenerator(getMyId(), getDrng(), otFactory); return new BatchTinyTablesTripleProvider(generator, TRIP_BATCH_SIZE); };