postcondition
postcondition · postconditions
A condition that must be met immediately after execution of some piece of codeA condition that must be met immediately after execution of some piece of code.
Meaning
1 sensesA condition that must be met immediately after execution of some piece of code.
Origin
From post- + condition.From post- + condition.
Wiktionary, CC BY-SA 4.0 · source
Forms
plural: postconditionsAntonyms
1 antonymsWord family
1 related wordsDerivedpostconditional