[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS-Help] The definiton of expression datatype



Hello everyone,

 

    I want to define the datatype of expression , the principle is :

        1. the const is expression

        2. the variable is expression

        3. expression plus/minus/multiple/divide expression is expression

        4. (if expression the expression else expression) is expression

   

    How can I complete it?

   

    Thanks!

 

    Yongbo Song



-------------------------------------------------------------------
只花一元就买了个新手机!忍不住给大家看看( http://ad4.sina.com.cn/sina/limeng3/mail_zhuiyu/2006/mail_zhuiyu_20060531.html )

===================================================================
注册新浪2G免费邮箱( http://mail.sina.com.cn/chooseMode.html