[ 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.