def write_cases(self): out = '' if self.ncases is not None: out = '$cases - number of solutions\n' out += '%-10s' % print_float(self.ncases) + '\n' return out