postcondition en · NOUN
Etymology
From post- + condition.
Meanings
- A condition that must be met immediately after execution of some piece of code.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| postconditions | Number=Plur | lexicographic | |
| post-condition | alternative | lexicographic |