constant weakest pre-condition 📖 中文释义 [计] 恒最弱前置条件 ← constant wattage transformer C 字母词表 constant weight →