NichiDict

事後条件

じごじょうけん
[jigojouken]

Meanings

1.Noun

《computing》postcondition