@sum(setname(index):x(index));
代表对setname这个集里面的元素的x属性求和
@for(setname(index):约束); 代表对setname中每个下标都满足这个约束条件
具体怎么写找个教程看看