public void decrement(Symbol[] syms) { String key = keyFromSyms(syms); super.decrement(key); }
public void decrement(Symbol[] syms, int numToSubtract) { String key = keyFromSyms(syms); super.decrement(key, numToSubtract); }