invariant generation rule的意思|示意

美 / inˈvɛəriənt ˌdʒenəˈreiʃən ru:l / 英 / ɪnˈvɛriənt ˌdʒɛnəˈreʃən rul /

[计] 不变式产生规则