Re-exported predicates

The following predicates are exported from this file while their implementation is defined in imported modules or non-module files loaded by this module.

 merge(+List1, +List2, -List3)

Merge the ordered sets List1 and List2 into a new ordered list. Duplicates are not removed and their order is maintained.

deprecated

- The name of this predicate is far too general for a rather specific function.

 ord_seteq(+Set1, +Set2) is semidet

True if Set1 and Set2 have the same elements. As both are canonical sorted lists, this is the same as ==/2.

Compatibility

- sicstus

 list_to_ord_set(+List, -OrdSet) is det

Transform a list into an ordered set. This is the same as sorting the list.

 ord_disjoint(+Set1, +Set2) is semidet

True if Set1 and Set2 have no common elements. This is the negation of ord_intersect/2.

 ord_disjoint(+Set1, +Set2) is semidet

True if Set1 and Set2 have no common elements. This is the negation of ord_intersect/2.

 ord_intersect(+Set1, +Set2, -Intersection)

Intersection holds the common elements of Set1 and Set2.

deprecated

- Use ord_intersection/3

 ord_subset(+Sub, +Super) is semidet

Is true if all elements of Sub are in Super

 ord_subtract(+InOSet, +NotInOSet, -Diff) is det

Diff is the set holding all elements of InOSet that are not in NotInOSet.

 ord_union(+Set1, +Set2, -Union) is det

Union is the union of Set1 and Set2

 ord_union(+Set1, +Set2, -Union, -New) is det

True iff ord_union(Set1, Set2, Union) and ord_subtract(Set2, Set1, New).

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 insert_merge(Arg1, Arg2, Arg3)

 insert_merge(Arg1, Arg2, Arg3, Arg4)

 merge(Arg1, Arg2, Arg3, Arg4)

 list_to_ord_set(Arg1, Arg2, Arg3)

 insert(Arg1, Arg2, Arg3)

 insert(Arg1, Arg2, Arg3, Arg4)

 ord_intersect_chk(Arg1, Arg2)

 ord_intersect_chk(Arg1, Arg2, Arg3)

 ord_intersect(Arg1, Arg2, Arg3, Arg4)

 ord_subset(Arg1, Arg2, Arg3)

 ord_subtract(Arg1, Arg2, Arg3, Arg4)

 ord_symdiff(Arg1, Arg2, Arg3, Arg4)

 ord_union_and_new(Arg1, Arg2, Arg3, Arg4)

 ord_union_and_new(Arg1, Arg2, Arg3, Arg4, Arg5)