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

  • 其他单词翻译

    英文单词 中文含义
    peaceableness

    n.平和,温和

    网络解释

    平静

    pdb

    abbr.私有程序化购买(ProgrammaticDirectBuy)

    网络解释

    程序数据库; 蛋白质数据库(Protein Data Bank); 符号文件

    pea-chick

    n.幼孔雀;好自炫的青年

    网络解释

    豌豆鸡

    peacemaking

    n. 调解,调停

    网络解释

    和平; 调停; 调停技能

    peace

    [人名] [英格兰人姓氏] 皮斯 Pace的变体;[电影]完全和平手册

    网络解释

    平和; 安宁; 静谧

    peaceably

    adv. 息事宁人地;和平地,温和地

    网络解释

    和平地

    pea-green

    adj.浅绿色;青豆色;豆绿色

    pdca

    abbr.策划-实施-检查-改进(plan-do-checkactioncycle)

    peace-breaker

    n.扰乱社会治安者;肇事者

    网络解释

    六年前

    peacemonger

    n. <贬>和平贩子(指一味乞求和平的人)

    和事佬

    网络解释

    一味乞求和平的人

    peaceful

    adj. 和平的;爱好和平的;安静的;平静的

    网络解释

    平静的; 安宁的; 安静的

    pea-shooter

    n.豆子枪

    网络解释

    射击碗豆; 豌豆手枪; 豌豆射手

    peace-keeper

    n.(交战国之间的)停火执行者

    网络解释

    和平维护者

    peacenik

    n.反战分子;和平分子;反战运动分子

    adj.反战分子的;和平主义者的

    网络解释

    和平主义者; 和平分子; 参加反战示威的人

    peacefully

    adv. 平静地;安宁地

    网络解释

    和平地; 安静; 安静地

    peacetime

    n. 和平时期;平时

    网络解释

    和平时代; 太平盛世; 和平年代

    peacefulness

    n. 平静,宁静,平和

    网络解释

    祥和; 平和; 和平

    peach

    n. 桃子;桃红色;极好的人(或物)

    adj. 桃红色的;粉红色的

    网络解释

    水蜜桃; 桃色

    peach-colored

    adj.桃色的

    网络解释

    桃色的

    peachwood

    n.桃木

    网络解释

    桃木