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

  • 其他单词翻译

    英文单词 中文含义
    manifolding

    n.[印刷]复写;[建]歧管装置

    v.[印刷]复写(manifold的ing形式)

    网络解释

    歧管装置; 复叠

    manifestly

    n 明显地

    网络解释

    明白地; 明显化; 无误地

    manipulability

    n.可操纵性

    网络解释

    可操作性; 可操作度; 可操纵性

    manipulative

    adj. 巧妙处理的;操作的;用手处理的;管理的

    网络解释

    操纵别人的; 好支使人的; 好指使人的

    maniladiol

    n.马尼拉二醇

    manifoldly

    多种多样的

    manifestness

    n.显明

    网络解释

    交际双方的互为显映; 明示

    manipulable

    adj.可操纵自如的;可以操作的

    网络解释

    可改造的; 可修改

    manipulator

    n.操纵器,调制器;操作者;善于操控者;善于摆布(欺骗)他人者

    网络解释

    机械手; 操纵器; 操作机

    manilagrass

    沟叶结缕草

    网络解释

    沟叶结缕草

    manifoldness

    多样性

    manifesto

    n. 宣言;声明;告示

    vi. 〈罕〉发表宣言[声明]

    网络解释

    竞选纲领; 告示; 宣言书

    manipular

    adj.(古罗马步兵队的)支队的士兵

    n.支队的士兵

    manipulus

    [医] 一把, 少量

    网络解释

    个中队; 小泡灰鼠; 百人队又被称为一个小队

    manilion

    n.宽大短上衣,无袖外衣

    网络解释

    宽大短上衣

    manifolds

    n.集合管;阀组(manifold的复数形式)

    v.复写;繁殖(manifold的单三形式)

    manifestoes

    n.(尤指政党的)宣言,声明

    v.发表宣言

    manipulate

    vt. 操作,处理;巧妙地控制;操纵;[医] 推拿,调整

    网络解释

    操作; 控制; 处理

    manisan

    椰子红糖

    网络解释

    密饯

    manioca

    n.木薯(cassava的别名)