postcondition meaning in English
后置条件
Examples
- An example postcondition : the new balance is the old balance , less the amount withdrawn
后置条件示例：新的余额就是老的余额扣除取款金额。 - Rule in that the precondition and the postcondition are fixed after the rule is defined
规则的相似之处在于：定义了规则以后，前提条件和后置条件是固定的。 - Then , i filled in the desired outcome section , and skipped down and added a postcondition , and around and around i went
然后，我填写期望的结果部分，添加后置条件，就这样一轮一轮的进行下去。 - That is , a postcondition is something that you can check after the use case completes in order to determine the success or failure of the use case
即，可以在用例完成之后检查后置条件，以便确定用例是成功还是失败。 - A precondition is a constraint under which a member function will operate properly , and a postcondition is a property or assertion that will be true after a member function has finished running see
可适用的前提条件和后置条件前提条件是成员函数正确操作的约束，而后置条件是在成员函数完成运行后是否为真的特性或断言（请参阅