首先你要会定义集
比如集定义是
sets:
s/1..3/:k;
endsets
那么k是0-1变量就用
@for(s:@bin(k));表示