[ The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]library(fd_search)
This library contains a generic search routine which
implements a number of partial search methods (complete, credit, lds, bbs, dbs)
Predicates
- delete(-X, +List, -R, ++Arg, ++Select)
- Choose a domain variable from a list according to selection criteria.
- indomain(?Var, ++Method)
- a flexible way to assign values to finite domain variables
- 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, sbds)
Description
This library contains a generic search routine which
implements a number of partial search methods (complete, credit, lds, bbs,
dbs) and some of their combinations.
About
- Author: H. Simonis, J. Schimpf
- Copyright © Parc Technologies Ltd/IC-Parc
- Date: $Date: 2003/12/08 20:11:29 $
Generated from fd_search.eci on Sat Aug 7 01:44:38 2004