Overview | Group | Tree | Graph | Index | Concepts |
Solver provides an enumeration algorithm with parameters that can be set for choosing
the order in which variables are tried during the search for a solution. That enumeration
algorithm is implemented by the functions IlcBestGenerate
and
IlcGenerate
.
This goal binds each constrained variable in its argument array
; it
does so by calling the function IlcBestInstantiate
for each of them. The
order in which the variables are bound is controlled by the function chooseIndex
.
The argument select
is passed to each call to IlcBestInstantiate
,
if that argument is provided.
This goal differs from IlcGenerate
since it calls IlcBestInstantiate
which tries only one value.
See Also:
IlcAnySelect, IlcAnySetSelect, IlcBestInstantiate, IlcGenerate, IlcGoal, IlcIntSelect, IlcIntSetSelect, IlcSolveBounds