Go to the first, previous, next, last section, table of contents.


sets (library)

Version: 1.7#35 (2000/12/28, 18:20:50 CET)

Version of last change: 0.9#17 (1999/3/23, 20:57:20 MET)

This module implements set operations. Sets are just ordered lists.

Usage and interface (sets)

Documentation on exports (sets)

PREDICATE: insert/3:

Usage: insert(+Set1,+Element,-Set2)

PREDICATE: ord_delete/3:

Usage: ord_delete(+Set0,+X,-Set)

PREDICATE: ord_member/2:

Usage: ord_member(+X,+Set)

PREDICATE: ord_test_member/3:

Usage: ord_test_member(+Set,+X,-Result)

PREDICATE: ord_subtract/3:

Usage: ord_subtract(+Set1,+Set2,?(Difference))

PREDICATE: ord_intersection/3:

Usage: ord_intersection(+Set1,+Set2,?(Intersection))

PREDICATE: ord_intersection_diff/4:

Usage: ord_intersection_diff(+Set1,+Set2,-Intersect,-NotIntersect)

PREDICATE: ord_intersect/2:

Usage: ord_intersect(+Xs,+Ys)

PREDICATE: ord_subset/2:

Usage: ord_subset(+Xs,+Ys)

PREDICATE: ord_subset_diff/3:

Usage: ord_subset_diff(+Set1,+Set2,-Difference)

PREDICATE: ord_union/3:

Usage: ord_union(+Set1,+Set2,?(Union))

PREDICATE: ord_union_diff/4:

Usage: ord_union_diff(+Set1,+Set2,-Union,-Difference)

PREDICATE: ord_union_symdiff/4:

Usage: ord_union_symdiff(+Set1,+Set2,-Union,-Diff)

PREDICATE: ord_union_change/3:

Usage: ord_union_change(+Set1,+Set2,-Union)

PREDICATE: merge/3:

Usage: merge(+Set1,+Set2,?(Union))

PREDICATE: ord_disjoint/2:

Usage: ord_disjoint(+Set1,+Set2)

PREDICATE: setproduct/3:

Usage: setproduct(+Set1,+Set2,-Product)


Go to the first, previous, next, last section, table of contents.