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

  • 其他单词翻译

    英文单词 中文含义
    valuated

    v. 对…作估价,对…作评价( valuate的过去式 )

    网络解释

    计价

    valsoid

    adj.华尔兹形的

    网络解释

    华尔兹形的

    valvular

    adj. 有阀门的

    网络解释

    有瓣的; 瓣膜性; 壳瓣的

    valve

    n. 阀;真空管;(管乐器的)活栓;(心脏的)瓣膜

    vt. 装阀于;以活门调节

    网络解释

    电子管; 瓣膜; 汽门

    valueless

    adj. 不足道的

    网络解释

    不足道的; 无价值的; 没有用处的

    valuates

    vt. 对…作估价,对…作评价(valuate的第三人称单数形式)

    网络解释

    落脚点的结语; 作估价; 对…作估价

    valtaic

    n.伏打的

    网络解释

    伏打的

    valvule

    n. 小瓣;瓣膜;(昆虫的)产卵瓣;小活瓣

    valved

    adj. 装有阀的

    valuelessness

    价值贫乏感

    网络解释

    价值贫乏感; 无自我价值; 无价值

    valuating

    v. 对…作估价,对…作评价( valuate的现在分词 )

    网络解释

    落脚点的结语; 评价; 作估价

    valter

    n.(Valter)人名;(英、法、德、俄、葡、罗、匈、塞、捷、瑞典)瓦尔特;(西)巴尔特

    网络解释

    瓦尔特手枪; 维尔达; 瓦特

    valvulitis

    n. 瓣炎,心瓣炎

    网络解释

    瓣炎; 心瓣炎

    valveless

    无瓣的

    网络解释

    无阀活塞泵

    valuer

    n. 评价者,价格核定人,森林地估测者

    网络解释

    估价师; 估值师; 评价者

    valuation

    n. 估价;估定的价格或价值;定价;评价

    网络解释

    价值; 价值评估; 计价

    valtomycin

    美吡四环素

    valvulopathy

    心脏瓣膜病

    心瓣病

    网络解释

    心瓣膜病; 瓣膜病变; 病变

    valvelet

    n.小阀

    valuable

    adj. 贵重的,宝贵的;有价值的;可评估的

    n. 贵重物品,财宝

    网络解释

    有价值的; 贵重的; 珍贵的