[Group Index|Full Index]
ECLiPSe Libraries: conjunto
- #(?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.