minizinc 中是否有 continue 或者有什么替代方法以及如何在谓词中转换 if else ？

问题描述

那么像在 python 和其他语言中一样，在 minizinc 中是否有 continue 语句？下面我有我的 minizinc if else 语句，如何将它们转换为谓词方式？

 if sum_neighbors(x,y) = 3 
       then grid[x,y]=1
    elseif sum_neighbors(x,y)=2 
       then grid[x,y]=grid[x,y]
    else grid[x,y]=0
    endif

如何将其转换为谓词形式？我尝试了以下但它不起作用。

    (sum_neighbors(x,y) = 3 )
       -> grid[x,y]=1
   /\ ( sum_neighbors(x,y)=2 )
       -> grid[x,y]
    /\ (sum_neighbors(x,y)!=3 /\sum_neighbors(x,y)!=2) -> grid[x,y]=0
     

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）