login

F.2.12 library(ordsets)

is_ordset/1True if Term is an ordered set.
list_to_ord_set/2Transform a list into an ordered set.
ord_add_element/3Insert an element into the set.
ord_del_element/3Delete an element from an ordered set.
ord_disjoint/2True if Set1 and Set2 have no common elements.
ord_empty/1True when List is the empty ordered set.
ord_intersect/2True if both ordered sets have a non-empty intersection.
ord_intersect/3Intersection holds the common elements of Set1 and Set2.
ord_intersection/2Intersection of a powerset.
ord_intersection/3Intersection holds the common elements of Set1 and Set2.
ord_intersection/4Intersection and difference between two ordered sets.
ord_memberchk/2True if Element is a member of OrdSet, compared using ==.
ord_seteq/2True if Set1 and Set2 have the same elements.
ord_subset/2Is true if all elements of Sub are in Super.
ord_subtract/3Diff is the set holding all elements of InOSet that are not in NotInOSet.
ord_symdiff/3Is true when Difference is the symmetric difference of Set1 and Set2.
ord_union/2True if Union is the union of all elements in the superset SetOfSets.
ord_union/3Union is the union of Set1 and Set2.
ord_union/4True iff ord_union(Set1, Set2, Union) and ord_subtract(Set2, Set1, New).