postcondition

后[置]条件

词形变化

postconditions 复数 postconditions

释义与例句

n.
  1. 1.

    A condition that must be met immediately after execution of some piece of code.

    计算机 工程 数学

词源

From post- + condition.

来源：wiktionary