constraint内部可以使用foreach constraint c_len { foreach (len[i]) len[i] inside {[1:255]}; len.sum <1024; len.size inside {[1:8]}; }