| 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