课程链接:https://www.bilibili.com/video/BV1k7411H7Jo?p=20
unique可以用来约束一组变量,使得其在随机后变量之间不会有相同的数值。
这一节课举例了许多程序,这些程序都包含了约束条件,约束条件非常容易看懂。
上下两个约束冲突了,这时硬约束会覆盖软约束,length最终等于1512。
课程链接:https://www.bilibili.com/video/BV1k7411H7Jo?p=20
unique可以用来约束一组变量,使得其在随机后变量之间不会有相同的数值。
这一节课举例了许多程序,这些程序都包含了约束条件,约束条件非常容易看懂。
上下两个约束冲突了,这时硬约束会覆盖软约束,length最终等于1512。