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

  • 其他单词翻译

    英文单词 中文含义
    imperious

    adj. 专横的,飞扬跋扈的

    网络解释

    傲慢的; 迫切的; 强制的

    impersonalization

    n. 非人格化

    网络解释

    非人格化; 非人化; 非个人化

    impersonating

    vt. 扮演(impersonate的现在分词形式)

    网络解释

    扮演; 冒充; 时换作远端授信帐户

    impermissible

    adj. 不许可的,不允许的

    网络解释

    不兴; 使不得; 不容许的

    impersonalize

    v. 使失去人格性,使不具人格

    网络解释

    使失去人格性; 淡化人的主体性; 无人称化

    impersonation

    n. 扮演

    网络解释

    模拟; 假冒; 身份模拟

    impermissibly

    adv. 不许可地,不允许地

    网络解释

    不许可地; 权人不法

    impersonalized

    v. 使失去人格性,使不具人格( impersonalize的过去式和过去分词 )

    网络解释

    人格化; 对事不对人; 非人性化

    impersonative

    adj.扮演的

    网络解释

    扮演的; 装扮的

    impersonator

    n. 演员,模拟(名人等的)艺人

    网络解释

    扮演者; 冒领; 模仿者

    imperiousness

    专横

    傲慢

    网络解释

    傲慢; 专横; 专横霸道

    imperishability

    n. 不灭,不死,不朽

    网络解释

    不灭性; 消失性

    imperishable

    adj. 不灭的,不朽的,不会腐烂的

    网络解释

    不灭的; 不能朽坏; 永恒

    imperishableness

    n.不朽,不灭

    网络解释

    不朽的

    imperishably

    adv. 不灭地,不朽地

    网络解释

    不灭地; 不朽地

    imperishingness

    n.不腐烂;不朽

    网络解释

    专横

    imperium

    n. 绝对权,主权统治权

    网络解释

    帝国; 人类帝国; 帝权

    impermanence

    n. 暂时,无常

    网络解释

    无常; 非永久; 暂时性

    impermanency

    n. 非永久(性),短暂(性)

    网络解释

    不持久之性质

    impersonify

    vt. <古>=personify

    网络解释

    体现人格化