def divideAll(self, divisor):
        divisor = float(divisor)
        for key in self:
            self[key] /= divisor
Divides all counts by divisor
dataset/ETHPy150Open rlpy/rlpy/rlpy/Domains/PacmanPackage/util.py/Counter.divideAll