[ The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]library(ic_search)
This library provides the search-related components of the IC-library
Predicates
- delete(-X, +List, -R, ++Arg, ++Select)
- Choose a domain variable from a list according to selection criteria.
- delete(?, ?, ?, ?, ?, ?)
- No description available
- indomain(?Var, ++Method)
- a flexible way to assign values to finite domain variables
- locate(?, ?)
- No description available
- locate(?, ?, ?)
- No description available
- locate(?, ?, ?, ?)
- No description available
- nth_value(+Domain, ++N, -Value)
- return the nth value in a domain
- search(+L, ++Arg, ++Select, +Choice, ++Method, +Option)
- A generic search routine for finite domains or IC which implements
different partial search methods (complete, credit, lds, bbs, dbs)
- search_body(?, ?, ?, ?, ?, ?, ?)
- No description available
- squash(?, ?, ?)
- No description available
Description
This library provides the search-related components of the IC-library,
essentially those adapted from fd_search, and RIA. Provided is a generic
search routine (for integer domain) which implements a number of partial
search methods (complete, credit, lds, bbs, dbs) and some of their
combinations. For floating point domains, the search facilities from RIA
are proivded.
Generated from ic_search.eci on Wed May 15 03:41:42 2002