(self, args)
return _args, sz
Convert a list of arguments into an z3.AST vector.
Convert a list of arguments into an z3.AST vector.
Convert a list of arguments into an z3 . AST vector .
def _to_ast_array(self, args):
        """Convert a list of arguments into an z3.AST vector."""
        sz = len(args)
        _args = (z3.Ast * sz)()
        for i, arg in enumerate(args):
            _args[i] = arg
        return _args, sz
def _to_ast_array ( self , args ) : sz = len ( args ) _args = ( z3 . Ast * sz ) ( ) for i , arg in enumerate ( args ) : _args [ i ] = arg return _args , sz