void productionExcised(Production p) { current().productionsExcised.add(p.getName()); totalProductionsExcised++; }
void productionAdded(Production p) { current().productionsAdded.add(p.getName()); totalProductionsAdded++; }