postcondition

Meaning

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

Similar words

precondition postrequisite condition precedent prestate preconditioning postulate suspensive condition postprocessing postperformance postincrement

Often followed by

of is for and that to q in will