Method Save

python/timing.py:60–67

Saves the pickled results in folder 'folder'

(self, folder)

        return string

    def Save(self, folder):
        """ Saves the pickled results in folder 'folder' """
        if not os.path.exists(folder):
            os.makedirs(folder)
        if folder[-1] == "/":
            pickle.dump(self,open(folder + self.name + ".dat","wb"))
        else:
            pickle.dump(self,open(folder + "/" + self.name + ".dat","wb"))
                
    def CompareTo(self,folder):
        """