[ Reference Manual | Alphabetic Index ]# library(conjunto)

Finite Set Constraints Library - obsolescent, use library(fd_sets) instead
## Predicates

**#(?Sterm,?Var)**
- Var is the cardinality of the set term Sterm.
**?Svar `:: +Domain**
- Terms in Svar have the set domain Domain.
**?Sterm `< ?Sterm1**
- Sterm is a subset of Sterm1.
**?Sterm `<> ?Sterm1**
- Sterm and Sterm1 are disjoint.
**?Sterm `= ?Sterm1**
- Sterm and Sterm1 are equal.
**all_disjoint(?Lsets)**
- Lsets is a list of set domain variables which are constrained to be
pairwise disjoint.
**all_union(?Lsets, ?Svar)**
- Lsets is a list of set domain variables whose union is the set term Svar.
**el_weight(+Var, ?Wvar)**
- Var is an element of type e(Val,Weight) from a weighted domain. Wvar is a
free variable unifying with the weight Weight of Var.
**glb(?S, ?Glb)**
- S is a set domain variable and Glb is the lower bound of its domain.
**?E in ?Sterm**
- E belongs to the set term Sterm.
**list2set(+List, ?Svar)**
- Transforms a ground list List into a ground set Svar.
**lub(?S, ?Lub)**
- S is a set domain variable and Lub is the lower bound of its domain.
**max_weight(?Svar, ?Var)**
- Svar is a weighted set domain variable whose maximal possible weight
attached to an element is Var.
**modify_bound(+Flag, ?Svar, +Var)**
- Flag is a flag which takes its value in fglb, lubg. It indicates the bound
of the set domain variable Svar which should be updated and take the value
Var which is ground.
**?E notin ?Sterm**
- E does not belong to the set term Sterm.
**refine(?Svar)**
- Instanciate Svar to a value in its set domain.
**set(?SVar)**
- Succeeds if SVar is a ground set (not a set domain)
**set2list(+Svar, ?List)**
- Transforms a ground set Svar into a list of ordered elements List.
**set_range(?Svar, ?Glb, ?Lub)**
- Svar is a set domain variable and Glb and Lub are the respective lower
bound and upper bound of its domain.
**sum_weight(?Svar, ?Var)**
- Svar is a weighted set domain variable or a weighted ground set and Var a
free variable or a domain variable or an integer which represents the
weight of Svar.

## Other Exports

**export initialization(use_module(set))**

## About

**Status: **deprecated
**Author: **Carmen Gervet and Pascal Brisset, ECRC
**Copyright © **1995-2006 Cisco Systems, Inc
**Date: **$Date: 2009/07/16 09:11:25 $

Generated from conjunto.eci on 2017-07-09 15:37