seq_search[ann1，ann2]和ann1 :: ann2之间的区别？

问题描述

这两种在Minizinc中进行搜索的方法有什么区别？

第一个：

const a: Timeout = setTimeout(() => ...);       // Node.js API
const b: number = window.setTimeout(() => ...); // browser API

第二个：

solve :: seq_search([ann1,ann2]) satisfy;

解决方法

最大的区别是使用单独的注释不能保证顺序。

使用:: ann1 :: ann2可能首先使用ann2或ann1，在发送给求解器的生产FlatZinc中，顺序甚至可能不相同。

:: seq_search([ann1,ann2])确实保证顺序是首先ann1然后是ann2。