constant weakest pre-condition

constant weakest pre-condition 基本解释

[计] 恒最弱前置条件

重点词汇

constant adj. 不断的，持续的；永恒的，始终如一的；坚定；忠实的 n. [数]常数，常量；不变的事物；永恒值

weakest adj. 弱的( weak的最高级 )；微弱的；无说服力的；淡的

condition n. 情况，状态；环境，条件；健康状况；身份 vt. 制约；限制；使习惯于；使适应 vt.& vi. 对…具有重要影响；影响（某事发生的方式）；保持（头发或皮肤等的）健康；养护