def delete(self):
        """
            Destructor.
        """

        if self.maplesat:
            pysolvers.maplesat_del(self.maplesat)
            self.maplesat = None

            if self.prfile:
                self.prfile.close()
def delete ( self ) : if self . maplesat : pysolvers . maplesat_del ( self . maplesat ) self . maplesat = None if self . prfile : self . prfile . close ( )
Destructor.