首页 \ 问答 \ 在Z3 Python中具有函数作为属性的数据类型(Datatypes with functions as attributes in Z3 Python)

在Z3 Python中具有函数作为属性的数据类型(Datatypes with functions as attributes in Z3 Python)

 我正在使用Z3的Python绑定，并尝试创建属性为函数的Z3数据类型。 例如，我可能会执行以下操作：  
Foo = Datatype('Foo')
Foo.declare('foo', [('my_function', Function('f', IntSort(), BoolSort()))])
Foo.create()
 
 这是尝试使用属性my_function创建数据类型Foo ，在那里我可以调用my_function x （如果x是Foo类型的变量），以便从int到bool获得一些函数。  
 但是，我在第二行遇到以下错误：  
z3types.Z3Exception: Valid list of accessors expected. An accessor is a pair of the form (String, Datatype|Sort)
 
 是否可以使用函数作为属性声明Z3数据类型，可能使用不同的语法？  
 或者是不允许的事情？ z3中的post 函数声明向我建议Z3中不允许使用高阶函数，因此可能不允许向数据类型添加函数，以防止使用这些数据类型创建高阶函数。 

I am using the Python bindings for Z3, and trying to create a Z3 datatype whose attributes are functions. For example, I might execute the following:  
Foo = Datatype('Foo')
Foo.declare('foo', [('my_function', Function('f', IntSort(), BoolSort()))])
Foo.create()
 
This is an attempt to create a datatype Foo with attribute my_function, where I would be able to call my_function x (if x is a variable of type Foo) in order to get out some function from ints to bools. 
However, I run into the following error at the second line: 
z3types.Z3Exception: Valid list of accessors expected. An accessor is a pair of the form (String, Datatype|Sort)
 
Is it possible to declare Z3 datatypes with functions as attributes, perhaps using a different syntax? 
Or is it something that is not allowed? The post function declaration in z3 suggests to me that higher-order functions are not allowed in Z3, so perhaps adding a function to a datatype is disallowed so as to prevent the creation of higher-order functions using those datatypes.

原文：https://stackoverflow.com/questions/35708244

更新时间：2023-01-24 07:01

最满意答案

 尝试一下。  
 在web.config中的系统web下  
 添加这一行..  
  <system.web>
<httpRuntime executionTimeout="999" maxRequestLength="2097151"/>
 
 然后你需要检查文件大小  
if (AsyncFileUpload1.HasFile)
        {
            string FileName = Path.GetFileName(AsyncFileUpload1.PostedFile.FileName);
            string Extension = Path.GetExtension(AsyncFileUpload1.PostedFile.FileName);
            string FolderPath = ConfigurationManager.AppSettings["FolderPath"];
            string FilePath = Server.MapPath("~/xl/" + FileName);
            double filesize = (double)AsyncFileUpload1.FileBytes.Length;
            if (filesize < 106496)
            {
               //do something
            }
            else
            {
                Response.Write("File size must be less than 2MB.");
            }
 
 如果您觉得它有用，请将其标记为您的答案，否则请通知我。 

Try this out. 
Under system web in web.config 
add this line.. 
  <system.web>
<httpRuntime executionTimeout="999" maxRequestLength="2097151"/>
 
Then you need to check the file size  
if (AsyncFileUpload1.HasFile)
        {
            string FileName = Path.GetFileName(AsyncFileUpload1.PostedFile.FileName);
            string Extension = Path.GetExtension(AsyncFileUpload1.PostedFile.FileName);
            string FolderPath = ConfigurationManager.AppSettings["FolderPath"];
            string FilePath = Server.MapPath("~/xl/" + FileName);
            double filesize = (double)AsyncFileUpload1.FileBytes.Length;
            if (filesize < 106496)
            {
               //do something
            }
            else
            {
                Response.Write("File size must be less than 2MB.");
            }
 
If you find it useful, please mark it as your answer else let me know..

在Z3 Python中具有函数作为属性的数据类型(Datatypes with functions as attributes in Z3 Python)

最满意答案

相关问答

ERR_CONNECTION_RESET：连接在上传大文件时被重置(ERR_CONNECTION_RESET: The connection was reset when uploading a large file)[2023-07-14]

Xampp ERR_CONNECTION_RESET用于1个文件(Xampp ERR_CONNECTION_RESET for 1 file)[2022-03-26]

WCF休息ERR_CONNECTION_RESET响应不大(WCF Rest ERR_CONNECTION_RESET not large response)[2022-12-25]

从IIS获取ERR_CONNECTION_RESET，日志中没有信息(Getting ERR_CONNECTION_RESET from IIS with no information in logs)[2023-09-12]

错误101（net :: ERR_CONNECTION_RESET）：连接已重置(Error 101 (net::ERR_CONNECTION_RESET): The connection was reset)[2023-10-28]

从节点JS服务器net :: ERR_CONNECTION_RESET上传视频时出错(Error on uploading on video from Node JS server net::ERR_CONNECTION_RESET)[2022-06-19]

从php请求HTML内容时出现net :: ERR_CONNECTION_RESET错误(net::ERR_CONNECTION_RESET error when requesting HTML content from php)[2022-11-24]

上传大型（2个Mo＆More）文件时的XMLHttpRequest :: ERR_CONNECTION_RESET(XMLHttpRequest ::ERR_CONNECTION_RESET while uploading large (2 Mo & More) files)[2022-02-16]

使用localhost时ERR_CONNECTION_RESET(ERR_CONNECTION_RESET while using localhost)[2022-03-18]

Web API 2和IIS 10 - 偶发的ERR_CONNECTION_RESET(Web API 2 and IIS 10 - Sporadic ERR_CONNECTION_RESET)[2022-06-22]

相关文章

最新问答