在写约束时,如何实现两个数组之间大小的约束
时间:10-02
整理:3721RD
点击:
比如
rand int A[10];
rand int B[10];
如何实现A[i] < B[i]这种约束条件?
rand int A[10];
rand int B[10];
如何实现A[i] < B[i]这种约束条件?
constraint c {
foreach(A[i])
A[i] < B[i];
}
多谢,是这样的