String[] keys = conjunctiveFormula.getLiterals()
.toArray(
new String[conjunctiveFormula.getLiterals()
.size()]);
pipeline.zinterstore(tmpkey, zparams, keys);
pipeline.zunionstore(rkey, zparams, tmpkey, rkey);
}
if (order.equals(Order.ASC)) {
pipeline.zrange(rkey, start, end);
} else {
pipeline.zrevrange(rkey, start, end);