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.
Значення
значень: 1A condition that must be met immediately after execution of some piece of code.
Походження
From post- + condition.From post- + condition.
Wiktionary, CC BY-SA 4.0 · source
Форми
множина: postconditionsАнтоніми
антонімів: 1Спільнокореневі
пов’язаних слів: 1Похідніpostconditional