ループインバリアント

[るーぷいんばりあんと] [ru-puinbarianto]

ループインバリアント

读成： るーぷいんばりあんと
中文： 回路不变量、循环不变式、循环不变量