A:LocalSolverには「中間変数」のようなものはありません。
意思決定変数と中間式という2つの重要な概念を区別しています。式は、意思決定変数から推論することができます。
top of page
LocalSolver Tech.Q/A
最新記事
すべて表示Q:How tomake a constraint that an array of lists is disjoint? Example: x[0..9] <- list(30); constraint disjoint(x); A:Your example is correct. This means are all 10lists in x are pairwise disjoints.
Q:Is itpossible to define a union of disjoint lists? Example: x[0..9] <- list(30); y[i in 0..4] <- union(x[i], x[2*i+1]); so that for [i in 0..4][k in 0..29] contains(y[i], k) == max(contains(x[i],k),
Q: Is it possible too loop over elements of alist and use the values as indices? Example: A[0..29] = inFile.readInt(); x <- list(30); // some constraints for x result <- sum[i in x](A[i]); maximize re
bottom of page