(self, script)
return res
Parse an assignment list produced by get-model and get-value
        commands in SmtLib
Parse an assignment list produced by get-model and get-value
        commands in SmtLib
Parse an assignment list produced by get - model and get - value commands in SmtLib
def get_assignment_list(self, script):
        """
        Parse an assignment list produced by get-model and get-value
        commands in SmtLib
        """
        symbols = self.env.formula_manager.symbols
        self.cache.update(symbols)
        tokens = Tokenizer(script, interactive=self.interactive)
        res = []
        self.consume_opening(tokens, "<main>")
        current = tokens.consume()
        while current != ")":
            if current != "(":
                raise PysmtSyntaxError("'(' expected", tokens.pos_info)
            vname = self.get_expression(tokens)
            expr = self.get_expression(tokens)
            self.consume_closing(tokens, current)
            res.append((vname, expr))
            current = tokens.consume()
        self.cache.unbind_all(symbols)
        return res
def get_assignment_list ( self , script ) : symbols = self . env . formula_manager . symbols self . cache . update ( symbols ) tokens = Tokenizer ( script , interactive = self . interactive ) res = [ ] self . consume_opening ( tokens , "<main>" ) current = tokens . consume ( ) while current != ")" : if current != "(" : raise PysmtSyntaxError ( "'(' expected" , tokens . pos_info ) vname = self . get_expression ( tokens ) expr = self . get_expression ( tokens ) self . consume_closing ( tokens , current ) res . append ( ( vname , expr ) ) current = tokens . consume ( ) self . cache . unbind_all ( symbols ) return res