def writeInt(self, i):
        if self._ws:
            self._file.write(' ')
        self._file.write('%d' % i)
        self._ws = True
dataset/ETHPy150Open uci-cbcl/tree-hmm/gmtkParam/__init__.py/WorkspaceIO.writeInt/original