标签: arrays minizinc
MiniZinc是否具有与Java中的indexOf()方法/ Python中的index()方法等效的内置方法?
答案 0 :(得分:0)
不,据我所知,根据MiniZinc specification,indexOf()没有内置功能。为此,您将必须编写自己的函数,例如,沿着this post行。
indexOf()