>

invariant generation rule

📖 中文释义

  1. [计] 不变式产生规则