PublicShow sourceoset.pl -- Ordered set manipulation

This library defines set operations on sets represented as ordered lists. This current library is a thin wrapper around library(ordsets). Many of the implementations of library(ordsets) originate from the library.

author
- Jon Jagger
deprecated
- Use the de-facto library(ordsets)
Source oset_is(@OSet)
check that OSet in correct format (standard order)
deprecated
- Use is_ordset/1 from library(ordsets)
Source oset_union(+OSet1, +OSet2, -Union)
Union is the union of OSet1 and OSet2.
deprecated
- Use ord_union/3 from library(ordsets)
Source oset_int(+OSet1, +OSet2, -Int)
ordered set intersection
Source oset_diff(+InOSet, +NotInOSet, -Diff)
Ordered set difference
deprecated
- Use ord_subtract/3 from library(ordsets)
Source oset_dunion(+SetofSets, -DUnion)
Distributed union.
deprecated
- Use ord_union/2 from library(ordsets)
Source oset_dint(+SetofSets, -DInt)
Distributed intersection.
deprecated
- Use ord_intersection/2 from library(ordsets)
Source oset_power(+Set, -PSet)
True when PSet is the powerset of Set. That is, Pset is a set of all subsets of Set, where each subset is a proper ordered set.
Source oset_addel(+Set, +El, -Add)
Ordered set element addition.
deprecated
- Use ord_add_element/3 from library(ordsets)
Source oset_delel(+Set, +El, -Del)
Ordered set element deletion.
deprecated
- Use ord_del_element/3 from library(ordsets)