Word
postconditions
/ˊpoustkənˊdiʃən/
noun
某段代码执行后必须立即满足的条件。
postconditions is the plural of postcondition.
- 1.
A condition that must be met immediately after execution of some piece of code.
某段代码执行后必须立即满足的条件。
后[置]条件
Connections
Word family
- postconditions
- plural
Learner notes
Learn the forms together
页面下方列出了常见词形变化。学习时注意它们在句子中的语法位置。
Dictionary facts from ECDICT, WIKTIONARY.