return (pi == null) ? null :
new CostAutomaton(pi, tmp);
}
public static ICostAutomaton makeSingleResource(IAutomaton pi, int[][] costs, int inf, int sup) {
ICounter c = new Counter(costs, inf, sup);
ArrayList<ICounter> tmp = new ArrayList<ICounter>();
tmp.add(c);
return (pi == null) ? null :
new CostAutomaton(pi, tmp);
}