本文整理汇总了C#中IntVar.Element方法的典型用法代码示例。如果您正苦于以下问题:C# IntVar.Element方法的具体用法?C# IntVar.Element怎么用?C# IntVar.Element使用的例子?那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类IntVar
的用法示例。
在下文中一共展示了IntVar.Element方法的1个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的C#代码示例。
示例1: circuit
/**
* circuit(solver, x, z)
*
* A decomposition of the global constraint circuit, based
* on some observation of the orbits in an array.
*
* This version also exposes z (the path) to the public.
*
* Note: The domain of x must be 0..n-1 (not 1..n)
* since C# is 0-based.
*/
public static void circuit(Solver solver, IntVar[] x, IntVar[] z) {
int n = x.Length;
solver.Add(x.AllDifferent());
solver.Add(z.AllDifferent());
// put the orbit of x[0] in z[0..n-1]
solver.Add(z[0] == x[0]);
for(int i = 1; i < n-1; i++) {
solver.Add(z[i] == x.Element(z[i-1]));
}
// z may not be 0 for i < n-1
for(int i = 1; i < n - 1; i++) {
solver.Add(z[i] != 0);
}
// when i = n-1 it must be 0
solver.Add(z[n - 1] == 0);
}