在写约束时，如何实现两个数组之间大小的约束

zuiqiangzhe · 发表于 2015-5-26 12:33:07

您需要登录才可以下载或查看，没有账号？注册

×

比如
rand int A[10];
rand int B[10];

如何实现A[i] < B[i]这种约束条件？

A1985 · 发表于 2015-5-26 14:19:49

constraint c {
foreach(A[i])
A[i] < B[i];
}

zuiqiangzhe · 发表于 2015-5-27 20:16:17

回复 2# A1985

多谢，是这样的

账号		自动登录	找回密码
密码			注册

[求助] 在写约束时，如何实现两个数组之间大小的约束