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.然后,我填写期望的结果部分,添加后置条件,就这样一轮一轮的进行下去。

  • 其他单词翻译

    英文单词 中文含义
    reach-me-down

    adj.现成的;用旧的(常指廉价的,质量不高的);千篇一律的

    n.旧东西,二手货;现成衣服

    网络解释

    别人用过的; 旧东西; 千篇一律的现成的衣服

    reactivating

    v. 使恢复活动,重起作用( reactivate的现在分词 )

    网络解释

    激活电池; 再生; 再活化的

    reactionaries

    n. 反动分子,反动派( reactionary的名词复数 )

    网络解释

    反动派; 反动份子; 守旧派

    react

    vi. 反应,作出反应;影响;起反作用

    vt. 使发生相互作用;使起化学反应;反抗;再演,重演

    网络解释

    起作用; 反抗; 反作用

    reactivation

    n.[物化]再活化;再生;复能的情况;[核]重激活

    网络解释

    再活化; 再生; 重激活

    reactionary

    adj. 反动的;保守的;[化]反应的

    n. 反动派;保守分子

    网络解释

    反动派; 反动者; 反动主义

    reactivator

    n.再生器;反应器;重活化剂

    网络解释

    再生器; 重活化剂

    reactive

    adj. 反应的;电抗的;活性的

    网络解释

    反应式; 反应性; 反应性的

    reactively

    adv. 反动地,反应性地

    网络解释

    反应性; 反应式; 反应性式

    read-in

    n.写入,记录;宣读活动

    网络解释

    写入; 读入; 记录

    readdressing

    n.[计]再编址;[计]再寻址

    网络解释

    再寻址; 再编址

    readability

    n. 易读,可读性

    网络解释

    文本清晰度; 易读度

    reactivity

    n. 反应,反动;反应性

    网络解释

    反应度; 反应能力; 活动性

    readership

    n. (报纸杂志拥有者的)读者(数);读者;准教授职位

    网络解释

    读者人数; 读者群; 读者总数

    readable

    adj. 易读的;易懂的

    网络解释

    可读的; 易读的; 值得一读的

    reacto

    [医]电抗器,电抗线圈,反应器

    网络解释

    锐科特

    readableness

    n. 值得一读,易读

    网络解释

    值得一读; 软骨瘤病

    readi

    abbr. rocket-engine-analyzer-and-decision-instrumentation 火箭发动机的分析和决定仪器

    网络解释

    阅读; 长河落日

    reader

    n. 读者,朗读者;读本;讲读者,讲师;审稿人

    网络解释

    阅读器; 读取器; 读写器

    reactor

    n. [化工]反应器;[核]反应堆;起反应的人;原子炉

    网络解释

    反应器; 电抗器; 反应者