Hi,
When can a global operand be optional? In other words, when can an adjacent operand be assigned to a null-temporary?
I have looked in the manual, but do not think the factorial example has that possibility and could not come up with an example myself.
|
if (temps[p][0] == NULL_TEMPORARY) { |
Hi,
When can a global operand be optional? In other words, when can an adjacent operand be assigned to a null-temporary?
I have looked in the manual, but do not think the factorial example has that possibility and could not come up with an example myself.
unison/src/solvers/gecode/models/parameters.cpp
Line 709 in 9f9857e