(self, script)
return res
Takes a file object and returns a SmtLibScript object representing
        the file
Takes a file object and returns a SmtLibScript object representing
        the file
Takes a file object and returns a SmtLibScript object representing the file
def get_script(self, script):
        """
        Takes a file object and returns a SmtLibScript object representing
        the file
        """
        self._reset() # prepare the parser
        res = SmtLibScript()
        for cmd in self.get_command_generator(script):
            res.add_command(cmd)
        res.annotations = self.cache.annotations
        return res
def get_script ( self , script ) : self . _reset ( ) # prepare the parser res = SmtLibScript ( ) for cmd in self . get_command_generator ( script ) : res . add_command ( cmd ) res . annotations = self . cache . annotations return res