之前看课时忽略掉的细节:关系操作符
x->y 为正向约束,就是说x表达式满足时,y必须满足,而y满足时,x不必满足也可以达到要求。
x<->y为双向约束,就是说x和y同时满足时,该constraint才成立。
最后是solve x before y,不会改变约束本身,但是会改变每种可能的值出现的概率。
之前看课时忽略掉的细节:关系操作符
x->y 为正向约束,就是说x表达式满足时,y必须满足,而y满足时,x不必满足也可以达到要求。
x<->y为双向约束,就是说x和y同时满足时,该constraint才成立。
最后是solve x before y,不会改变约束本身,但是会改变每种可能的值出现的概率。