From f3416b0991e7a6b108aa7ba0960192a612079a03 Mon Sep 17 00:00:00 2001 From: Peter Dimov Date: Mon, 7 Jan 2019 22:53:35 +0200 Subject: [PATCH] Document mp_set_intersection, mp_set_difference --- doc/mp11/set.adoc | 16 +++++++++++++++- 1 file changed, 15 insertions(+), 1 deletion(-) diff --git a/doc/mp11/set.adoc b/doc/mp11/set.adoc index 65b36ce..a7d1191 100644 --- a/doc/mp11/set.adoc +++ b/doc/mp11/set.adoc @@ -43,5 +43,19 @@ For each `T1` in `T...`, `mp_set_push_back` appends `T1` to the end of template using mp_set_union = /*...*/; -`mp_set_union` is `mp_set_push_back`, where `T...` are the elements of `mp_append, L...>`. +`mp_set_union` is `mp_set_push_back`, where `T...` are the combined elements of the lists `L...`. `mp_set_union<>` is `mp_list<>`. + +## mp_set_intersection + + template using mp_set_intersection = /*...*/; + +`mp_set_intersection` returns a set that contains the elements that occur in all of the sets `S...`. +`mp_set_intersection<>` is `mp_list<>`. + +## mp_set_difference + + template using mp_set_difference = /*...*/; + +`mp_set_difference` removes the elements of the list `L` that appear in any of the sets `S...` and +returns the result.