ループ不変 ふへん しきだった
rūpufuhenshikidatta

Noun
Da Copula

The past form of ループ不変式

1. Was a loop invariant.

Past/Perfective
Computing