[ 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, gap_sbds, gap_sbdd)

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


Generated from fd_search.eci on Mon Mar 31 03:16:14 2008