postcondition的意思_postcondition的中文翻译|音标|读音|用法|例句

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

其他单词翻译

英文单词	中文含义
anilinctus	n. 舐肛，吻肛（一种变态性欲）网络解释吻肛
anility	n. 老态龙钟网络解释衰老; 老妪型痴愚; 老态龙钟
animalizes	v. 使动物化( animalize的第三人称单数 ) 网络解释肉体兽慾横流
animalisation	n.兽性化，动物化网络解释动物化
animal-drawn	畜力牵引的网络解释牲畜拉的
anim	abbr. animal 动物；animato (Italian=animated) （意大利语）生动的；animate 使有生命；animism 泛灵论网络解释动画(Animations); 生命; 精神
aniline	n. 苯胺网络解释阿尼林; 苯胺的; 苯胺标准品
animalizing	v. 使动物化( animalize的现在分词 ) 网络解释动物质化
animalise	vt.使兽性化
animal-free	adj.不含动物成分的；不取自动物的网络解释无动物成分; 不含动物成分的; 不含动物成份
anima	n. 内心；灵魂；灵气；（男性的）女性特征网络解释幻兽天使; 生命; 阿密娜
anilinephthalein	[化] 苯胺酞
animallike	adj.动物似的网络解释动物味
animalism	n. 动物特性，兽性网络解释兽性; 动物特性; 动物性
animal-worship	动物崇拜网络解释动物崇拜
animacy	生命度网络解释生命度; 有生性; 生命性
anilingus	n. 舐肛，吻肛（一种变态性欲）网络解释舔肛; 舐肛
animally	adv. 肉体上网络解释肉体上地; 动物界
animalist	n. 动物艺术画家网络解释纵欲者; 纵慾者
animadversion	n. 责备，谴责，批评网络解释责备; 批判; 挑针打眼