[ library(ria) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
locate(+Vars, ++Precision)
Locate solution intervals for Vars by splitting and search.
- Vars
- List of variables
- Precision
- Minimum required precision (float)
Description
Locate solution intervals for the given variables with the required
precision. This works well if the problem has a finite number of solutions.
locate/2,3 work by nondeterministically splitting the ranges of the variables
until they are narrower than Precision.
See Also
locate / 3, locate / 4, squash / 3