Postcondition Uncommon

Origin: Latin suffix -tion

Definition, synonyms and related words

Definitions

Noun

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

See Also

design by contract precondition execution postconditional condition hoare triple

Related Terms

design by contract precondition execution postconditional condition hoare triple

Rhyming Words

ion aion tion zion pion sion gion bion fion lion dion cion rion orion obion axion deion trion diion arion

Compare