Что такое синтаксис Minizinc для создания массива из п Int пар, как это:Minizinc: создать массив Int пар
{(x1, y1), (x2, y2), .... (хп , yn)}
и как я могу получить доступ к определенному элементу j, чтобы получить, например, его значение y?
В MiniZinc вы в настоящее время используете многомерные массивы для этой цели. Если, например, вы хотите создать n пар целочисленных переменных, которые вы можете использовать:
array [1..n, 1..2] of var int: pairs;
Вы могли бы получить доступ к каждой паре, но и каждый элемент. Например, если вы хотите получить доступ к парам j, тогда вы можете использовать оператор pairs[j]. Это массив измерений 1..2; вы можете получить доступ ко второму элементу (y), используя pairs[j][y].
Этот подход позволяет использовать переменные напрямую, но вы также можете использовать пары для предикатов, которые вызывают массивы.