Did you know ... Search Documentation:
Pack wam_common_lisp -- prolog/wam_cl/compat/utils_oset.pl
PublicShow source

Re-exported predicates

The following predicates are re-exported from other modules

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