Next: set_tree234, Previous: set_ctree234, Up: Top [Contents]

%--------------------------------------------------% % vim: ft=mercury ts=4 sw=4 et %--------------------------------------------------% % Copyright (C) 1996-1997,1999-2002, 2004-2006, 2008-2012 The University of Melbourne. % Copyright (C) 2014-2015, 2018 The Mercury team. % This file is distributed under the terms specified in COPYING.LIB. %--------------------------------------------------% % % File: set_ordlist.m. % Main authors: conway, fjh. % Stability: medium. % % This file contains a `set' ADT. % Sets are implemented here as sorted lists without duplicates. % %--------------------------------------------------% %--------------------------------------------------% :- module set_ordlist. :- interface. :- import_module bool. :- import_module list. %--------------------------------------------------% :- type set_ordlist(_T). % `init(Set)' is true iff `Set' is an empty set. % :- pred init(set_ordlist(_T)::uo) is det. :- func init = set_ordlist(T). % `list_to_set(List, Set)' is true iff `Set' is the set % containing only the members of `List'. % :- pred list_to_set(list(T)::in, set_ordlist(T)::out) is det. :- func list_to_set(list(T)) = set_ordlist(T). % A synonym for list_to_set/1. % :- func from_list(list(T)) = set_ordlist(T). % `sorted_list_to_set(List, Set)' is true iff `Set' is the set containing % only the members of `List'. `List' must be sorted. % :- pred sorted_list_to_set(list(T)::in, set_ordlist(T)::out) is det. :- func sorted_list_to_set(list(T)) = set_ordlist(T). % A synonym for sorted_list_to_set/1. % :- func from_sorted_list(list(T)) = set_ordlist(T). % `to_sorted_list(Set, List)' is true iff `List' is the list of all the % members of `Set', in sorted order. % :- pred to_sorted_list(set_ordlist(T)::in, list(T)::out) is det. :- func to_sorted_list(set_ordlist(T)) = list(T). % `singleton_set(Elem, Set)' is true iff `Set' is the set containing just % the single element `Elem'. % :- pred singleton_set(T, set_ordlist(T)). :- mode singleton_set(in, out) is det. :- mode singleton_set(out, in) is semidet. :- func make_singleton_set(T) = set_ordlist(T). :- pred is_singleton(set_ordlist(T)::in, T::out) is semidet. % `equal(SetA, SetB)' is true iff `SetA' and `SetB' contain the same % elements. % :- pred equal(set_ordlist(T)::in, set_ordlist(T)::in) is semidet. % `empty(Set)' is true iff `Set' is an empty set. % `is_empty' is a synonym for `empty'. % :- pred empty(set_ordlist(_T)::in) is semidet. :- pred is_empty(set_ordlist(T)::in) is semidet. % `non_empty(Set)' is true iff `Set' is not an empty set. % `is_non_empty' is a synonym for `non_empty'. % :- pred non_empty(set_ordlist(T)::in) is semidet. :- pred is_non_empty(set_ordlist(T)::in) is semidet. % `subset(SetA, SetB)' is true iff `SetA' is a subset of `SetB'. % :- pred subset(set_ordlist(T)::in, set_ordlist(T)::in) is semidet. % `superset(SetA, SetB)' is true iff `SetA' is a superset of `SetB'. % :- pred superset(set_ordlist(T)::in, set_ordlist(T)::in) is semidet. % `member(X, Set)' is true iff `X' is a member of `Set'. % :- pred member(T, set_ordlist(T)). :- mode member(in, in) is semidet. :- mode member(out, in) is nondet. % `is_member(X, Set, Result)' returns `Result = yes' iff `X' is a member of % `Set'. % :- pred is_member(T::in, set_ordlist(T)::in, bool::out) is det. % `contains(Set, X)' is true iff `X' is a member of `Set'. % :- pred contains(set_ordlist(T)::in, T::in) is semidet. % `insert(X, Set0, Set)' is true iff `Set' is the union % of `Set0' and the set containing only `X'. % :- pred insert(T::in, set_ordlist(T)::in, set_ordlist(T)::out) is det. :- func insert(set_ordlist(T), T) = set_ordlist(T). % `insert_new(X, Set0, Set)' is true iff `Set0' does not contain `X', while % `Set' is the union of `Set0' and the set containing only `X'. % :- pred insert_new(T::in, set_ordlist(T)::in, set_ordlist(T)::out) is semidet. % `insert_list(Xs, Set0, Set)' is true iff `Set' is the union of `Set0' and % the set containing only the members of `Xs'. % :- pred insert_list(list(T)::in, set_ordlist(T)::in, set_ordlist(T)::out) is det. :- func insert_list(set_ordlist(T), list(T)) = set_ordlist(T). % `delete(X, Set0, Set)' is true iff `Set' is the % relative complement of `Set0' and the set containing only `X', i.e. % if `Set' is the set which contains all the elements of `Set0' % except `X'. % :- pred delete(T::in, set_ordlist(T)::in, set_ordlist(T)::out) is det. :- func delete(set_ordlist(T), T) = set_ordlist(T). % `delete_list(Xs, Set0, Set)' is true iff `Set' is the relative complement % of `Set0' and the set containing only the members of `Xs'. % :- pred delete_list(list(T)::in, set_ordlist(T)::in, set_ordlist(T)::out) is det. :- func delete_list(set_ordlist(T), list(T)) = set_ordlist(T). % `remove(X, Set0, Set)' is true iff `Set0' contains `X', % and `Set' is the relative complement of `Set0' and the set % containing only `X', i.e. if `Set' is the set which contains % all the elements of `Set0' except `X'. % :- pred remove(T::in, set_ordlist(T)::in, set_ordlist(T)::out) is semidet. % `remove_list(Xs, Set0, Set)' is true iff Xs does not contain any % duplicates, `Set0' contains every member of `Xs', and `Set' is the % relative complement of `Set0' and the set containing only the members of % `Xs'. % :- pred remove_list(list(T)::in, set_ordlist(T)::in, set_ordlist(T)::out) is semidet. % `remove_least(X, Set0, Set)' is true iff `X' is the least element in % `Set0', and `Set' is the set which contains all the elements of `Set0' % except `X'. % :- pred remove_least(T::out, set_ordlist(T)::in, set_ordlist(T)::out) is semidet. % `union(SetA, SetB, Set)' is true iff `Set' is the union % of `SetA' and `SetB'. The efficiency of the union operation is % O(card(SetA)+card(SetB)) and is not sensitive to the argument % ordering. % :- pred union(set_ordlist(T)::in, set_ordlist(T)::in, set_ordlist(T)::out) is det. :- func union(set_ordlist(T), set_ordlist(T)) = set_ordlist(T). % `union_list(A, B)' is true iff `B' is the union of all the sets in `A' % :- pred union_list(list(set_ordlist(T))::in, set_ordlist(T)::out) is det. :- func union_list(list(set_ordlist(T))) = set_ordlist(T). % `power_union(A, B)' is true iff `B' is the union of % all the sets in `A' % :- pred power_union(set_ordlist(set_ordlist(T))::in, set_ordlist(T)::out) is det. :- func power_union(set_ordlist(set_ordlist(T))) = set_ordlist(T). % `intersect(SetA, SetB, Set)' is true iff `Set' is the intersection of % `SetA' and `SetB'. The efficiency of the intersection operation is not % influenced by the argument order. % :- pred intersect(set_ordlist(T), set_ordlist(T), set_ordlist(T)). :- mode intersect(in, in, out) is det. :- mode intersect(in, in, in) is semidet. :- func intersect(set_ordlist(T), set_ordlist(T)) = set_ordlist(T). % `power_intersect(A, B)' is true iff `B' is the intersection of all the % sets in `A'. % :- pred power_intersect(set_ordlist(set_ordlist(T))::in, set_ordlist(T)::out) is det. :- func power_intersect(set_ordlist(set_ordlist(T))) = set_ordlist(T). % `intersect_list(A) = B' is true iff `B' is the intersection of all the % sets in `A'. % :- func intersect_list(list(set_ordlist(T))) = set_ordlist(T). :- pred intersect_list(list(set_ordlist(T))::in, set_ordlist(T)::out) is det. % `difference(SetA, SetB, Set)' is true iff `Set' is the % set containing all the elements of `SetA' except those that % occur in `SetB'. % :- pred difference(set_ordlist(T)::in, set_ordlist(T)::in, set_ordlist(T)::out) is det. :- func difference(set_ordlist(T), set_ordlist(T)) = set_ordlist(T). % `count(Set, Count)' is true iff `Set' has `Count' elements. % :- pred count(set_ordlist(T)::in, int::out) is det. :- func count(set_ordlist(T)) = int. % Return the set of items for which the given predicate succeeds. % :- func filter(pred(T1), set_ordlist(T1)) = set_ordlist(T1). :- mode filter(pred(in) is semidet, in) = out is det. :- pred filter(pred(T1), set_ordlist(T1), set_ordlist(T1)). :- mode filter(pred(in) is semidet, in, out) is det. % Return the set of items for which the given predicate succeeds, and the % set of items for which it fails. % :- pred filter(pred(T1), set_ordlist(T1), set_ordlist(T1), set_ordlist(T1)). :- mode filter(pred(in) is semidet, in, out, out) is det. :- func map(func(T1) = T2, set_ordlist(T1)) = set_ordlist(T2). :- func filter_map(func(T1) = T2, set_ordlist(T1)) = set_ordlist(T2). :- mode filter_map(func(in) = out is semidet, in) = out is det. :- pred filter_map(pred(T1, T2), set_ordlist(T1), set_ordlist(T2)). :- mode filter_map(pred(in, out) is semidet, in, out) is det. :- func fold(func(T1, T2) = T2, set_ordlist(T1), T2) = T2. :- pred fold(pred(T1, T2, T2), set_ordlist(T1), T2, T2). :- mode fold(pred(in, in, out) is det, in, in, out) is det. :- mode fold(pred(in, mdi, muo) is det, in, mdi, muo) is det. :- mode fold(pred(in, di, uo) is det, in, di, uo) is det. :- mode fold(pred(in, in, out) is semidet, in, in, out) is semidet. :- mode fold(pred(in, mdi, muo) is semidet, in, mdi, muo) is semidet. :- mode fold(pred(in, di, uo) is semidet, in, di, uo) is semidet. :- func foldl(func(T1, T2) = T2, set_ordlist(T1), T2) = T2. :- pred foldl(pred(T1, T2, T2), set_ordlist(T1), T2, T2). :- mode foldl(pred(in, in, out) is det, in, in, out) is det. :- mode foldl(pred(in, mdi, muo) is det, in, mdi, muo) is det. :- mode foldl(pred(in, di, uo) is det, in, di, uo) is det. :- mode foldl(pred(in, in, out) is semidet, in, in, out) is semidet. :- mode foldl(pred(in, mdi, muo) is semidet, in, mdi, muo) is semidet. :- mode foldl(pred(in, di, uo) is semidet, in, di, uo) is semidet. :- pred fold2(pred(T1, T2, T2, T3, T3), set_ordlist(T1), T2, T2, T3, T3). :- mode fold2(pred(in, in, out, in, out) is det, in, in, out, in, out) is det. :- mode fold2(pred(in, in, out, mdi, muo) is det, in, in, out, mdi, muo) is det. :- mode fold2(pred(in, in, out, di, uo) is det, in, in, out, di, uo) is det. :- mode fold2(pred(in, in, out, in, out) is semidet, in, in, out, in, out) is semidet. :- mode fold2(pred(in, in, out, mdi, muo) is semidet, in, in, out, mdi, muo) is semidet. :- mode fold2(pred(in, in, out, di, uo) is semidet, in, in, out, di, uo) is semidet. :- pred foldl2(pred(T1, T2, T2, T3, T3), set_ordlist(T1), T2, T2, T3, T3). :- mode foldl2(pred(in, in, out, in, out) is det, in, in, out, in, out) is det. :- mode foldl2(pred(in, in, out, mdi, muo) is det, in, in, out, mdi, muo) is det. :- mode foldl2(pred(in, in, out, di, uo) is det, in, in, out, di, uo) is det. :- mode foldl2(pred(in, in, out, in, out) is semidet, in, in, out, in, out) is semidet. :- mode foldl2(pred(in, in, out, mdi, muo) is semidet, in, in, out, mdi, muo) is semidet. :- mode foldl2(pred(in, in, out, di, uo) is semidet, in, in, out, di, uo) is semidet. :- pred fold3(pred(T1, T2, T2, T3, T3, T4, T4), set_ordlist(T1), T2, T2, T3, T3, T4, T4). :- mode fold3(pred(in, in, out, in, out, in, out) is det, in, in, out, in, out, in, out) is det. :- mode fold3(pred(in, in, out, in, out, mdi, muo) is det, in, in, out, in, out, mdi, muo) is det. :- mode fold3(pred(in, in, out, in, out, di, uo) is det, in, in, out, in, out, di, uo) is det. :- mode fold3(pred(in, in, out, in, out, in, out) is semidet, in, in, out, in, out, in, out) is semidet. :- mode fold3(pred(in, in, out, in, out, mdi, muo) is semidet, in, in, out, in, out, mdi, muo) is semidet. :- mode fold3(pred(in, in, out, in, out, di, uo) is semidet, in, in, out, in, out, di, uo) is semidet. :- pred foldl3(pred(T1, T2, T2, T3, T3, T4, T4), set_ordlist(T1), T2, T2, T3, T3, T4, T4). :- mode foldl3(pred(in, in, out, in, out, in, out) is det, in, in, out, in, out, in, out) is det. :- mode foldl3(pred(in, in, out, in, out, mdi, muo) is det, in, in, out, in, out, mdi, muo) is det. :- mode foldl3(pred(in, in, out, in, out, di, uo) is det, in, in, out, in, out, di, uo) is det. :- mode foldl3(pred(in, in, out, in, out, in, out) is semidet, in, in, out, in, out, in, out) is semidet. :- mode foldl3(pred(in, in, out, in, out, mdi, muo) is semidet, in, in, out, in, out, mdi, muo) is semidet. :- mode foldl3(pred(in, in, out, in, out, di, uo) is semidet, in, in, out, in, out, di, uo) is semidet. :- pred fold4(pred(T1, T2, T2, T3, T3, T4, T4, T5, T5), set_ordlist(T1), T2, T2, T3, T3, T4, T4, T5, T5). :- mode fold4( pred(in, in, out, in, out, in, out, in, out) is det, in, in, out, in, out, in, out, in, out) is det. :- mode fold4( pred(in, in, out, in, out, in, out, mdi, muo) is det, in, in, out, in, out, in, out, mdi, muo) is det. :- mode fold4( pred(in, in, out, in, out, in, out, di, uo) is det, in, in, out, in, out, in, out, di, uo) is det. :- mode fold4( pred(in, in, out, in, out, in, out, in, out) is semidet, in, in, out, in, out, in, out, in, out) is semidet. :- mode fold4( pred(in, in, out, in, out, in, out, mdi, muo) is semidet, in, in, out, in, out, in, out, mdi, muo) is semidet. :- mode fold4( pred(in, in, out, in, out, in, out, di, uo) is semidet, in, in, out, in, out, in, out, di, uo) is semidet. :- pred foldl4(pred(T1, T2, T2, T3, T3, T4, T4, T5, T5), set_ordlist(T1), T2, T2, T3, T3, T4, T4, T5, T5). :- mode foldl4( pred(in, in, out, in, out, in, out, in, out) is det, in, in, out, in, out, in, out, in, out) is det. :- mode foldl4( pred(in, in, out, in, out, in, out, mdi, muo) is det, in, in, out, in, out, in, out, mdi, muo) is det. :- mode foldl4( pred(in, in, out, in, out, in, out, di, uo) is det, in, in, out, in, out, in, out, di, uo) is det. :- mode foldl4( pred(in, in, out, in, out, in, out, in, out) is semidet, in, in, out, in, out, in, out, in, out) is semidet. :- mode foldl4( pred(in, in, out, in, out, in, out, mdi, muo) is semidet, in, in, out, in, out, in, out, mdi, muo) is semidet. :- mode foldl4( pred(in, in, out, in, out, in, out, di, uo) is semidet, in, in, out, in, out, in, out, di, uo) is semidet. :- pred fold5( pred(T1, T2, T2, T3, T3, T4, T4, T5, T5, T6, T6), set_ordlist(T1), T2, T2, T3, T3, T4, T4, T5, T5, T6, T6). :- mode fold5( pred(in, in, out, in, out, in, out, in, out, in, out) is det, in, in, out, in, out, in, out, in, out, in, out) is det. :- mode fold5( pred(in, in, out, in, out, in, out, in, out, mdi, muo) is det, in, in, out, in, out, in, out, in, out, mdi, muo) is det. :- mode fold5( pred(in, in, out, in, out, in, out, in, out, di, uo) is det, in, in, out, in, out, in, out, in, out, di, uo) is det. :- mode fold5( pred(in, in, out, in, out, in, out, in, out, in, out) is semidet, in, in, out, in, out, in, out, in, out, in, out) is semidet. :- mode fold5( pred(in, in, out, in, out, in, out, in, out, mdi, muo) is semidet, in, in, out, in, out, in, out, in, out, mdi, muo) is semidet. :- mode fold5( pred(in, in, out, in, out, in, out, in, out, di, uo) is semidet, in, in, out, in, out, in, out, in, out, di, uo) is semidet. :- pred foldl5( pred(T1, T2, T2, T3, T3, T4, T4, T5, T5, T6, T6), set_ordlist(T1), T2, T2, T3, T3, T4, T4, T5, T5, T6, T6). :- mode foldl5( pred(in, in, out, in, out, in, out, in, out, in, out) is det, in, in, out, in, out, in, out, in, out, in, out) is det. :- mode foldl5( pred(in, in, out, in, out, in, out, in, out, mdi, muo) is det, in, in, out, in, out, in, out, in, out, mdi, muo) is det. :- mode foldl5( pred(in, in, out, in, out, in, out, in, out, di, uo) is det, in, in, out, in, out, in, out, in, out, di, uo) is det. :- mode foldl5( pred(in, in, out, in, out, in, out, in, out, in, out) is semidet, in, in, out, in, out, in, out, in, out, in, out) is semidet. :- mode foldl5( pred(in, in, out, in, out, in, out, in, out, mdi, muo) is semidet, in, in, out, in, out, in, out, in, out, mdi, muo) is semidet. :- mode foldl5( pred(in, in, out, in, out, in, out, in, out, di, uo) is semidet, in, in, out, in, out, in, out, in, out, di, uo) is semidet. :- pred fold6(pred(T, A, A, B, B, C, C, D, D, E, E, F, F), set_ordlist(T), A, A, B, B, C, C, D, D, E, E, F, F). :- mode fold6( pred(in, in, out, in, out, in, out, in, out, in, out, in, out) is det, in, in, out, in, out, in, out, in, out, in, out, in, out) is det. :- mode fold6( pred(in, in, out, in, out, in, out, in, out, in, out, mdi, muo) is det, in, in, out, in, out, in, out, in, out, in, out, mdi, muo) is det. :- mode fold6( pred(in, in, out, in, out, in, out, in, out, in, out, di, uo) is det, in, in, out, in, out, in, out, in, out, in, out, di, uo) is det. :- mode fold6( pred(in, in, out, in, out, in, out, in, out, in, out, in, out) is semidet, in, in, out, in, out, in, out, in, out, in, out, in, out) is semidet. :- mode fold6( pred(in, in, out, in, out, in, out, in, out, in, out, mdi, muo) is semidet, in, in, out, in, out, in, out, in, out, in, out, mdi, muo) is semidet. :- mode fold6( pred(in, in, out, in, out, in, out, in, out, in, out, di, uo) is semidet, in, in, out, in, out, in, out, in, out, in, out, di, uo) is semidet. :- pred foldl6(pred(T, A, A, B, B, C, C, D, D, E, E, F, F), set_ordlist(T), A, A, B, B, C, C, D, D, E, E, F, F). :- mode foldl6( pred(in, in, out, in, out, in, out, in, out, in, out, in, out) is det, in, in, out, in, out, in, out, in, out, in, out, in, out) is det. :- mode foldl6( pred(in, in, out, in, out, in, out, in, out, in, out, mdi, muo) is det, in, in, out, in, out, in, out, in, out, in, out, mdi, muo) is det. :- mode foldl6( pred(in, in, out, in, out, in, out, in, out, in, out, di, uo) is det, in, in, out, in, out, in, out, in, out, in, out, di, uo) is det. :- mode foldl6( pred(in, in, out, in, out, in, out, in, out, in, out, in, out) is semidet, in, in, out, in, out, in, out, in, out, in, out, in, out) is semidet. :- mode foldl6( pred(in, in, out, in, out, in, out, in, out, in, out, mdi, muo) is semidet, in, in, out, in, out, in, out, in, out, in, out, mdi, muo) is semidet. :- mode foldl6( pred(in, in, out, in, out, in, out, in, out, in, out, di, uo) is semidet, in, in, out, in, out, in, out, in, out, in, out, di, uo) is semidet. % all_true(Pred, Set) succeeds iff Pred(Element) succeeds for all the % elements of Set. % :- pred all_true(pred(T)::in(pred(in) is semidet), set_ordlist(T)::in) is semidet. % divide(Pred, Set, TruePart, FalsePart): % TruePart consists of those elements of Set for which Pred succeeds; % FalsePart consists of those elements of Set for which Pred fails. % :- pred divide(pred(T)::in(pred(in) is semidet), set_ordlist(T)::in, set_ordlist(T)::out, set_ordlist(T)::out) is det. % divide_by_set(DivideBySet, Set, InPart, OutPart): % InPart consists of those elements of Set which are also in DivideBySet; % OutPart consists of those elements of Set which are not in DivideBySet. % :- pred divide_by_set(set_ordlist(T)::in, set_ordlist(T)::in, set_ordlist(T)::out, set_ordlist(T)::out) is det. % intersection_and_differences(SetA, SetB, InAandB, OnlyInA, OnlyInB): % Given SetA and SetB, return the elements that occur in both sets, % and those that occur only in one or the other. % :- pred intersection_and_differences(set_ordlist(T)::in, set_ordlist(T)::in, set_ordlist(T)::out, set_ordlist(T)::out, set_ordlist(T)::out) is det. %--------------------------------------------------% %--------------------------------------------------%

Next: set_tree234, Previous: set_ctree234, Up: Top [Contents]