cplex - 检查小集是否是 CPLEX OPL 中大集的一部分

Question

execute{ 
   for(t in bigset){ 
      if((t inter smallset) == t){

在 if 行上给出错误：脚本解析器错误：缺少')'。

标签： cplexopl

Answer 1

{int} s={1,2};

{int} bigS={1,2,3};

sorted {int} interset=s inter bigS;
sorted {int} s2={i | i in s};

int v0=and(i in s)(i in bigS);
int v1=and(j in 0..card(s2)-1) item(interset,j)==item(s2,j);
int v2=1;

execute
{
  writeln(v1);
  
  for(var t in s){ 
      if (!bigS.contains(t)) { v2=0; }
    }      
  writeln(v2);    
  
  writeln(Opl.operatorINTER(s,bigS));
}

给

1
1
1
 {1 2}