oset.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)

 oset_is(@OSet)

check that OSet in correct format (standard order)

deprecated

- Use is_ordset/1 from library(ordsets)

 oset_union(+OSet1, +OSet2, -Union)

Union is the union of OSet1 and OSet2.

deprecated

- Use ord_union/3 from library(ordsets)

 oset_int(+OSet1, +OSet2, -Int)

ordered set intersection

 oset_diff(+InOSet, +NotInOSet, -Diff)

Ordered set difference

deprecated

- Use ord_subtract/3 from library(ordsets)

 oset_dunion(+SetofSets, -DUnion)

Distributed union.

deprecated

- Use ord_union/2 from library(ordsets)

 oset_dint(+SetofSets, -DInt)

Distributed intersection.

deprecated

- Use ord_intersection/2 from library(ordsets)

 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.

 oset_addel(+Set, +El, -Add)

Ordered set element addition.

deprecated

- Use ord_add_element/3 from library(ordsets)

 oset_delel(+Set, +El, -Del)

Ordered set element deletion.

deprecated

- Use ord_del_element/3 from library(ordsets)