Yices: simplification
@@ -65,13 +65,7 @@ public class Yices2BooleanFormulaManager
// @Override
// protected Integer andImpl(Collection<Integer> pParams) {
- // int size = pParams.size();
- // int[] paramArray = new int[size];
- // Iterator<Integer> it = pParams.iterator();
- // for (int i = 0; i < size; i++) {
- // paramArray[i] = it.next();
- // }
- // return yices_and(size, paramArray);
+ // return yices_and(pParams.size(), Ints.toArray(pParams));
// }
@Override
@@ -81,13 +75,7 @@ public class Yices2BooleanFormulaManager
// @Override
// protected Integer orImpl(Collection<Integer> pParams) {
- // int size = pParams.size();
- // int[] paramArray = new int[size];
- // Iterator<Integer> it = pParams.iterator();
- // for (int i = 0; i < size; i++) {
- // paramArray[i] = it.next();
- // }
- // return yices_or(size, paramArray);
+ // return yices_or(pParams.size(), Ints.toArray(pParams));
// }
@Override
