go top

post-conditions

  • [计] 后置条件

网络释义专业释义

  条件

很多编程老手都在他们的项目里用条件编译来检测先决条件(per-conditions)和后续条件(post-conditions)。

基于10个网页-相关网页

  结果公式集

...e—conditions),它是由断言组成的有限集合,用于指 定动作执行前必须满足的前提条件; 4. 毋为结果公式集post-conditions),它是由断言组成的有限集合,用于指 定动作执行后将会产生的影响。

基于8个网页-相关网页

短语

Pre-and Post-Conditions 前提条件和后续条件

Unsuccessful Post-Conditions 失败条件

Post Conditions 后置流程

post emergency conditions 事故后状况

post fault conditions 事故后状况

post-writing conditions 作后情境

post-treatment conditions 后处理条件

post appointing conditions 职务聘任条件

post heat treatment conditions 热处理条件

 更多收起网络短语
  • 后置条件 - 引用次数:6

    参考来源 - 基于开放时态逻辑的面向方面程序形式化验证和模块推理研究

·2,447,543篇论文数据,部分数据来源于NoteExpress

双语例句权威例句

  • Lines starting with the comment "check some post-conditions".

    注释check some post - conditions开始

    youdao

  • You can add assertion statements as the pre- or post-conditions of a method.

    可以断言语句作为方法前置条件条件来添加

    youdao

  • Post-conditions: Expected results after the execution of the external component.

    后置条件执行外部组件预期结果

    youdao

更多双语例句
更多权威例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定