[ 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

- Author: H. Simonis, J. Schimpf
- Copyright © Cisco Systems, Inc.
- Date: $Date: 2006/09/23 01:53:31 $

Generated from fd_search.eci on Sat Nov 8 06:58:55 2008