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)