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_intersect(+Set1, +Set2) is semidet

True if both ordered sets have a non-empty intersection.

 ord_disjoint(+Set1, +Set2) is semidet

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

 ord_intersection(+Set1, +Set2, -Intersection) is det

Intersection holds the common elements of Set1 and Set2. Uses ord_disjoint/2 if Intersection is bound to [] on entry.

 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

Undocumented predicates

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

 insert(Arg1, Arg2, Arg3)

 ord_delete(Arg1, Arg2, Arg3)

 ord_member(Arg1, Arg2)

 ord_test_member(Arg1, Arg2, Arg3)

 ord_intersection_diff(Arg1, Arg2, Arg3, Arg4)

 ord_subset_diff(Arg1, Arg2, Arg3)

 ord_union_diff(Arg1, Arg2, Arg3, Arg4)

 ord_union_symdiff(Arg1, Arg2, Arg3, Arg4)

 ord_union_change(Arg1, Arg2, Arg3)

 setproduct(Arg1, Arg2, Arg3)