post-condition

英 ['pəʊstkənd'ɪʃn] 美 ['pəʊstkənd'ɪʃn]

• n. 后置条件