15.7 Reified Constraints. A reified constraint consists of a constraint and a variable which denotes its truth value. For instance, {\it truth}(X=2)=N ...
確定! 回上一頁