8. Context：root, positive, negative, mixed

子辰4846

于 2022-08-02 00:35:45 发布

阅读量152

点赞数

分类专栏： Minizinc 基础学习笔记文章标签：其他

本文链接：https://blog.youkuaiyun.com/weifengomg/article/details/126112819

版权

16 篇文章 ¥9.90 ¥99.00

订阅专栏

本文介绍了约束条件在不同语境（根、正、负、混合）下的行为。根语境中，逻辑联结词只能是合取。正语境允许let-in结构引入未初始化变量，不会导致模型不满足。负语境中，表达式为假可能使模型不满足，但为真则不会。混合语境中，子表达式的真假都可能导致模型不满足。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

8. Context

一条约束c 当且仅当在下列情况下，处于根语境root

出现在约束c 和关键字constraint 之间的逻辑联结词只能是合取的(如/\ 和forall)

具体：
以constraint c 的形式出现
以(c /\ …) 的形式出现在根语境
以forall(..)( c ) 的形式出现在根语境

正负与混合语境

了解本专栏