[ The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

# library(conjunto_fd_sets)

lib(conjunto) compatibility wrapper for lib(fd_sets)

## Predicates

> `::(?, ?)
>   No description available
> `<(?, ?)
>   No description available
> `<>(?, ?)
>   No description available
> `=(?, ?)
>   No description available
> list2set(?, ?)
>   No description available
> refine(?Set)
>   Instantiate Set to a possible value
> set2list(?, ?)
>   No description available
> tr_slists(?, ?)
>   No description available

## Reexports

> reexport fd_sets
>   except :: / 2

## Other Exports

> export macro({} / 1, conjunto_fd_sets : tr_slists / 2, [])
> export macro({} / 0, conjunto_fd_sets : tr_slists / 2, [])
> export op(700, xfx, `<>)
> export op(700, xfx, `=)
> export op(700, xfx, `::)
> export op(700, xfx, `<)

## Description

This is a wrapper for library(fd_sets) to make it more backward compatible with its predecessor, the set solver library(conjunto). Supported are:

- the curly-bracket syntax for sets (input only)
- the backquote-syntax for several constraints (`<>,`<,`::,`=)
- refine/1

Not supported are:

- non-integer set elements
- el_weight/2, sum_weight/2 (but see fd_sets:weight/2)
- max_weight/2 (but see fd_sets:insetdomain/4)

## About

- Author: Joachim Schimpf
- Copyright © Cisco Systems, Inc.
- Date: $Date: 2006/09/23 01:53:25 $

Generated from conjunto_fd_sets.eci on Sat Nov 8 06:56:06 2008