类型

assume

assert

cover

restrict

用法

在求解逻辑表达式时赋值为真，设置其它断言的前提条件

在求解逻辑表达式时若为假，则判定为违例

在求解逻辑表达式时若为真，则判定为活跃

类似于Assume，但不作为其它断言的前提，仅用于缩小解空间，加速运算