postcondition

美:[pəʊstkən´dɪʃn]   英:[pəʊstkən´dɪʃn]

中文翻译

后置条件

网络解释

后条件; 后续条件; 后验条件

英文短语

  • 1.Postcondition Exception 后置条件异常
  • 2.hypothermia postcondition 低温后适应
  • 3.program postcondition 程序后置条件
  • 4.Strongest postcondition 最强后置条件
  • 5.Task Postcondition - Data Value 任务后置
  • 6.Task Postcondition - Data Existence 任务后置
  • 英文例句

  • 1.Similarly, postcondition tests correspond roughly to after advice.同样,后置条件测试大致与 after 建议对应。
  • 2.There is something wrong with the function; a postcondition is violated.函数本身可能有错,后置条件没有满足。
  • 3.Specifies a postcondition contract for the enclosing method or property.为封闭方法或属性指定一个后置条件协定。
  • 4.An example postcondition: the new balance is the old balance, less the amount withdrawn.后置条件示例:新的余额就是老的余额扣除取款金额。
  • 5.Then, I filled in the Desired outcome section, and skipped down and added a postcondition, and around and around I went.然后,我填写期望的结果部分,添加后置条件,就这样一轮一轮的进行下去。

  • 其他单词翻译

    英文单词 中文含义
    eternizing

    v. 使永恒,使不朽( eternize的现在分词 )

    ethanenitrile

    n.乙腈,甲基氰

    网络解释

    ethanolurea

    n.[有化]乙醇脲

    网络解释

    乙醇脲

    ethanamidine

    n.乙脒

    eterobarb

    n.依特比妥

    网络解释

    依特比妥

    ethacridine

    n.依沙吖啶

    网络解释

    依沙吖啶; 利凡诺; 利凡诺化学名依沙丫啶

    ethanolysis

    n.乙醇分解

    网络解释

    乙醇解

    ethanetetrayl

    n.联二亚甲基

    ethadione

    n.乙恶二酮

    网络解释

    依沙双酮; 乙恶二酮

    ethane

    n. 乙烷

    网络解释

    高纯乙烷; 氰基甲烷; 乙基乙烷

    etersalate

    n.依特柳酯,乙氧基扑炎痛

    ethanethio

    乙基硫醇

    网络解释

    乙基硫醇

    ethanoyl

    乙酰

    乙酰基

    网络解释

    乙基

    ethanedial

    n.乙二醛

    网络解释

    乙二醛

    eterylate

    【化】依特柳酯,乙氧基扑炎痛

    ethal

    n. 二十六醇,虫蜡醇

    网络解释

    鲸蜡醇; 十六醇; 二十六醇

    ethanethiol

    n.[有化]乙硫醇

    网络解释

    n-丁氨基乙硫醇; 巯基乙烷

    ethanthiol

    己二硫醇

    网络解释

    己二硫醇

    etes

    abbr.预计开航时间;工程试验鉴定(EngineeringTestEvaluation)

    n.(Ete)人名;(匈)埃泰

    网络解释

    艾泰什; 乙烯基三乙氧基硅烷; 乙基三乙氧基硅烷(ethyltriethoxysilane)

    ethambutol

    n. 乙胺丁醇(一种抗结核药)

    网络解释

    乙胺丁醇; 乙胺丁醇片; 乙氨丁醇