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

其他单词翻译

英文单词	中文含义
contradiction	n. 矛盾；否认，反驳网络解释否认; 不一致; 抵触
contraextension	n.对抗牵伸术
contrafunctional	adj.反函数的网络解释逆函数的
contradicts	v. 反驳，否认…的真实性( contradict的第三人称单数 )；与…发生矛盾，与…抵触网络解释抗辩
contraindication	n. 禁忌征候网络解释禁忌症; 禁忌证; 禁忌征候
contradictions	n. 矛盾( contradiction的名词复数 )；否认，反驳网络解释否认; 矛盾冲突; 抵触
contrafactive	adj.反叙实的，与事实相反的
contragradience	n.逆步网络解释逆步
contradistinction	n.对比；对比的区别网络解释对比的区别; 对比的不同; 对照的区别
contraindications	n 禁忌症网络解释禁忌症; 禁忌证; 产品禁忌症
contradictious	adj. 爱反对的，吹毛求疵的，异议多的网络解释爱反对的; 好反驳的; 相矛盾的
contragradient	adj.逆步的，反步的
contrafactual	adj.违反事实的网络解释与事实不符的
contradistinctive	adj.对比的网络解释对比的
contrainjection	反向喷注
contrahelical	adj.反螺形的网络解释反螺形
contradictive	adj. 倾向于矛盾的，抵触的网络解释倾向于矛盾的
contrafactum	n.换词歌曲
contradistinctively	n.对比；对比的区别网络解释相反地
contrainjector	n.反向喷射器