[lib] Use "shall satisfy", not "shall meet", for requirements.

Author: jensmaurer

source/algorithms.tex

@@ -1627,7 +1627,7 @@
 
 \begin{itemdescr}
 \pnum
-\requires \tcode{Function} shall meet the requirements of
+\requires \tcode{Function} shall satisfy the requirements of
 \tcode{MoveConstructible} (Table~\ref{tab:moveconstructible}).
 \begin{note} \tcode{Function} need not meet the requirements of
 \tcode{CopyConstructible} (Table~\ref{tab:copyconstructible}). \end{note}
@@ -1672,7 +1672,7 @@
 \begin{itemdescr}
 \pnum
 \requires
-\tcode{Function} shall meet the requirements of \tcode{CopyConstructible}.
+\tcode{Function} shall satisfy the requirements of \tcode{CopyConstructible}.
 
 \pnum
 \effects
@@ -1710,7 +1710,7 @@
 \begin{itemdescr}
 \pnum
 \requires
-\tcode{Function} shall meet the requirements of \tcode{MoveConstructible}
+\tcode{Function} shall satisfy the requirements of \tcode{MoveConstructible}
 \begin{note} \tcode{Function} need not meet the requirements of
 \tcode{CopyConstructible}. \end{note}
 
@@ -1746,7 +1746,7 @@
 \begin{itemdescr}
 \pnum
 \requires
-\tcode{Function} shall meet the requirements of \tcode{CopyConstructible}.
+\tcode{Function} shall satisfy the requirements of \tcode{CopyConstructible}.
 
 \pnum
 \requires
@@ -3450,7 +3450,7 @@
 \tcode{Distance} shall be an integer type.
 \item
 \tcode{remove_reference_t<UniformRandomBitGenerator>}
-shall meet the requirements of a uniform random bit generator type\iref{rand.req.urng}
+shall satisfy the requirements of a uniform random bit generator type\iref{rand.req.urng}
 whose return type is convertible to \tcode{Distance}.
 \item
 \tcode{out} shall not be in the range \range{first}{last}.
@@ -3504,7 +3504,7 @@
 \tcode{ValueSwappable}\iref{swappable.requirements}.
 The type
 \tcode{remove_reference_t<UniformRandomBitGenerator>}
-shall meet the requirements of a
+shall satisfy the requirements of a
 uniform random bit generator\iref{rand.req.urng} type whose return type is
 convertible to
 \tcode{iterator_traits<Random\-Access\-Itera\-tor>::difference_type}.

source/containers.tex

@@ -4197,7 +4197,7 @@
 In this subclause,
 arguments for a template parameter
 named \tcode{Predicate} or \tcode{BinaryPredicate}
-shall meet the corresponding requirements in \ref{algorithms.requirements}.
+shall satisfy the corresponding requirements in \ref{algorithms.requirements}.
 For \tcode{merge} and \tcode{sort},
 the definitions and requirements in \ref{alg.sorting} apply.
 
@@ -4776,7 +4776,7 @@
 In this subclause,
 arguments for a template parameter
 named \tcode{Predicate} or \tcode{BinaryPredicate}
-shall meet the corresponding requirements in \ref{algorithms.requirements}.
+shall satisfy the corresponding requirements in \ref{algorithms.requirements}.
 For \tcode{merge} and \tcode{sort},
 the definitions and requirements in \ref{alg.sorting} apply.
 

source/future.tex

@@ -3015,7 +3015,7 @@
 described by the class \tcode{Tr}, to and from a byte stream buffer of type
 \tcode{streambuf}. Conversion between a sequence of \tcode{Elem} values and
 multibyte sequences is performed by an object of class
-\tcode{Codecvt}, which shall meet the requirements
+\tcode{Codecvt}, which shall satisfy the requirements
 of the standard code-conversion facet \tcode{codecvt<Elem, char, mbstate_t>}.
 
 \pnum

source/iostreams.tex

@@ -10418,7 +10418,7 @@
 \end{codeblock}
 
 \pnum
-\tcode{Allocator} shall meet the allocator requirements\iref{allocator.requirements}.
+\tcode{Allocator} shall satisfy the allocator requirements\iref{allocator.requirements}.
 
 \pnum
 \begin{example}
@@ -10748,7 +10748,7 @@
 unless \tcode{EcharT} is one of the encoded character types.
 
 \pnum
-Template parameters named \tcode{InputIterator} shall meet the
+Template parameters named \tcode{InputIterator} shall satisfy the
 input iterator requirements\iref{input.iterators} and shall
 have a value type that is one of the encoded character types.
 
@@ -10760,7 +10760,7 @@
 they are not included as permitted types. \end{note}
 
 \pnum
-Template parameters named \tcode{Allocator} shall meet the
+Template parameters named \tcode{Allocator} shall satisfy the
 Allocator requirements\iref{allocator.requirements}.
 
 \rSec3[fs.req.namespace]{Namespaces and headers}

source/iterators.tex

@@ -1262,12 +1262,12 @@
 \pnum
 The template parameter
 \tcode{Iterator}
-shall meet all the requirements of a Bidirectional Iterator\iref{bidirectional.iterators}.
+shall satisfy all the requirements of a Bidirectional Iterator\iref{bidirectional.iterators}.
 
 \pnum
 Additionally,
 \tcode{Iterator}
-shall meet the requirements of a random access iterator\iref{random.access.iterators}
+shall satisfy the requirements of a random access iterator\iref{random.access.iterators}
 if any of the members
 \tcode{operator+},
 \tcode{operator-},
@@ -2148,10 +2148,10 @@
 \rSec3[move.iter.requirements]{\tcode{move_iterator} requirements}
 
 \pnum
-The template parameter \tcode{Iterator} shall meet
+The template parameter \tcode{Iterator} shall satisfy
 the requirements of an input iterator\iref{input.iterators}.
 Additionally, if any of the bidirectional or random access traversal
-functions are instantiated, the template parameter shall meet the
+functions are instantiated, the template parameter shall satisfy the
 requirements for a Bidirectional Iterator\iref{bidirectional.iterators}
 or a Random Access Iterator\iref{random.access.iterators}, respectively.
 
@@ -2549,7 +2549,7 @@
 The behavior of a program that applies \tcode{operator++()} to an end-of-stream
 iterator is undefined.
 It is impossible to store things into istream iterators.
-The type \tcode{T} shall meet the \tcode{DefaultConstructible},
+The type \tcode{T} shall satisfy the \tcode{DefaultConstructible},
 \tcode{CopyConstructible}, and \tcode{CopyAssignable} requirements.
 
 \pnum

source/numerics.tex

@@ -2054,7 +2054,7 @@
 \end{libreqtab4d}
 
 \pnum
-\tcode{E} shall meet the requirements
+\tcode{E} shall satisfy the requirements
 of \tcode{CopyConstructible} (Table~\ref{tab:copyconstructible})
 and \tcode{CopyAssignable} (Table~\ref{tab:copyassignable}) types.
 These operations shall each be of complexity
@@ -4017,7 +4017,7 @@
 
 \begin{itemdescr}
 \pnum\requires \tcode{RandomAccessIterator}
-  shall meet the requirements of a mutable random access iterator\iref{random.access.iterators}.
+  shall satisfy the requirements of a mutable random access iterator\iref{random.access.iterators}.
   Moreover,
   \tcode{iterator_traits<RandomAccessIterator>::value_type}
   shall denote an unsigned integer type
@@ -8790,7 +8790,7 @@
 \begin{itemdescr}
 \pnum
 \requires
-\tcode{T} shall meet the requirements of \tcode{CopyConstructible} (Table~\ref{tab:copyconstructible})
+\tcode{T} shall satisfy the requirements of \tcode{CopyConstructible} (Table~\ref{tab:copyconstructible})
 and \tcode{CopyAssignable} (Table~\ref{tab:copyassignable}) types.
 In the range
 \crange{first}{last},
@@ -8940,7 +8940,7 @@
 \begin{itemdescr}
 \pnum
 \requires
-\tcode{T} shall meet the requirements of \tcode{CopyConstructible} (Table~\ref{tab:copyconstructible})
+\tcode{T} shall satisfy the requirements of \tcode{CopyConstructible} (Table~\ref{tab:copyconstructible})
 and \tcode{CopyAssignable} (Table~\ref{tab:copyassignable}) types.
 In the ranges
 \crange{first1}{last1}

source/strings.tex

@@ -275,7 +275,7 @@
 \pnum
 \requires
 \tcode{state_type}
-shall meet the requirements of
+shall satisfy the requirements of
 \tcode{CopyAssignable} (Table~\ref{tab:copyassignable}),
 \tcode{CopyConstructible} (Table~\ref{tab:copyconstructible}), and
 \tcode{DefaultConstructible} (Table~\ref{tab:defaultconstructible}) types.

source/threads.tex

@@ -132,7 +132,7 @@
 \term{native resolution}.
 
 \pnum
-Implementation-provided clocks that are used for these functions shall meet the
+Implementation-provided clocks that are used for these functions shall satisfy the
 \tcode{TrivialClock} requirements\iref{time.clock.req}.
 
 \pnum
@@ -891,11 +891,11 @@
 The \defn{mutex types} are the standard library types \tcode{mutex},
 \tcode{recursive_mutex}, \tcode{timed_mutex}, \tcode{recursive_timed_mutex},
 \tcode{shared_mutex}, and \tcode{shared_timed_mutex}.
-They shall meet the requirements set out in this subclause. In this description, \tcode{m}
+They shall satisfy the requirements set out in this subclause. In this description, \tcode{m}
 denotes an object of a mutex type.
 
 \pnum
-The mutex types shall meet the \tcode{Lockable} requirements\iref{thread.req.lockable.req}.
+The mutex types shall satisfy the \tcode{Lockable} requirements\iref{thread.req.lockable.req}.
 
 \pnum
 The mutex types shall be \tcode{DefaultConstructible} and \tcode{Destructible}. If
@@ -1141,7 +1141,7 @@
 instantiation of \tcode{time_point}\iref{time.point}.
 
 \pnum
-The timed mutex types shall meet the \tcode{TimedLockable}
+The timed mutex types shall satisfy the \tcode{TimedLockable}
 requirements\iref{thread.req.lockable.timed}.
 
 \pnum
@@ -1330,9 +1330,9 @@
 
 \pnum
 The standard library types \tcode{shared_mutex} and \tcode{shared_timed_mutex}
-are \defn{shared mutex types}. Shared mutex types shall meet the requirements of
+are \defn{shared mutex types}. Shared mutex types shall satisfy the requirements of
 mutex types\iref{thread.mutex.requirements.mutex}, and additionally
-shall meet the requirements set out below. In this description,
+shall satisfy the requirements set out below. In this description,
 \tcode{m} denotes an object of a shared mutex type.
 
 \pnum
@@ -1484,10 +1484,10 @@
 
 \pnum
 The standard library type \tcode{shared_timed_mutex} is a
-\defn{shared timed mutex type}. Shared timed mutex types shall meet the requirements of
+\defn{shared timed mutex type}. Shared timed mutex types shall satisfy the requirements of
 timed mutex types\iref{thread.timedmutex.requirements},
 shared mutex types\iref{thread.sharedmutex.requirements}, and additionally
-shall meet the requirements set out below. In this description,
+shall satisfy the requirements set out below. In this description,
 \tcode{m} denotes an object of a shared timed mutex type,
 \tcode{rel_type} denotes an object of an instantiation of
 \tcode{duration}\iref{time.duration}, and
@@ -1681,7 +1681,7 @@
 object throughout the \tcode{lock_guard} object's lifetime\iref{basic.life}.
 The behavior of a program is undefined if the lockable object referenced by
 \tcode{pm} does not exist for the entire lifetime of the \tcode{lock_guard}
-object. The supplied \tcode{Mutex} type shall meet the \tcode{BasicLockable}
+object. The supplied \tcode{Mutex} type shall satisfy the \tcode{BasicLockable}
 requirements\iref{thread.req.lockable.basic}.
 
 \indexlibrary{\idxcode{lock_guard}!constructor}%
@@ -1760,9 +1760,9 @@
 object.
 When \tcode{sizeof...(MutexTypes)} is \tcode{1},
 the supplied \tcode{Mutex} type
-shall meet the \tcode{BasicLockable} requirements\iref{thread.req.lockable.basic}.
+shall satisfy the \tcode{BasicLockable} requirements\iref{thread.req.lockable.basic}.
 Otherwise, each of the mutex types
-shall meet the \tcode{Lockable} requirements\iref{thread.req.lockable.req}.
+shall satisfy the \tcode{Lockable} requirements\iref{thread.req.lockable.req}.
 
 \indexlibrary{\idxcode{scoped_lock}!constructor}%
 \begin{itemdecl}
@@ -1875,7 +1875,7 @@
 \tcode{pm} is not null and the lockable object pointed
 to by \tcode{pm} does not exist for the entire remaining
 lifetime\iref{basic.life} of the \tcode{unique_lock} object. The supplied
-\tcode{Mutex} type shall meet the \tcode{BasicLockable}
+\tcode{Mutex} type shall satisfy the \tcode{BasicLockable}
 requirements\iref{thread.req.lockable.basic}.
 
 \pnum
@@ -1938,7 +1938,7 @@
 \begin{itemdescr}
 \pnum
 \requires
-The supplied \tcode{Mutex} type shall meet the \tcode{Lockable}
+The supplied \tcode{Mutex} type shall satisfy the \tcode{Lockable}
 requirements\iref{thread.req.lockable.req}.
 If \tcode{mutex_type} is not a recursive mutex the calling thread does not own the mutex.
 
@@ -1978,7 +1978,7 @@
 \begin{itemdescr}
 \pnum
 \requires If \tcode{mutex_type} is not a recursive mutex the calling thread
-does not own the mutex. The supplied \tcode{Mutex} type shall meet the
+does not own the mutex. The supplied \tcode{Mutex} type shall satisfy the
 \tcode{TimedLockable} requirements\iref{thread.req.lockable.timed}.
 
 \pnum
@@ -1999,7 +1999,7 @@
 \begin{itemdescr}
 \pnum
 \requires If \tcode{mutex_type} is not a recursive mutex the calling thread does not own the mutex.
-The supplied \tcode{Mutex} type shall meet the \tcode{TimedLockable} requirements\iref{thread.req.lockable.timed}.
+The supplied \tcode{Mutex} type shall satisfy the \tcode{TimedLockable} requirements\iref{thread.req.lockable.timed}.
 
 \pnum
 \effects Constructs an object of type \tcode{unique_lock} and calls \tcode{m.try_lock_for(rel_time)}.
@@ -2079,7 +2079,7 @@
 
 \begin{itemdescr}
 \pnum
-\requires The supplied \tcode{Mutex} shall meet the \tcode{Lockable}
+\requires The supplied \tcode{Mutex} shall satisfy the \tcode{Lockable}
 requirements\iref{thread.req.lockable.req}.
 
 \pnum
@@ -2113,7 +2113,7 @@
 
 \begin{itemdescr}
 \pnum
-\requires The supplied \tcode{Mutex} type shall meet the \tcode{TimedLockable}
+\requires The supplied \tcode{Mutex} type shall satisfy the \tcode{TimedLockable}
 requirements\iref{thread.req.lockable.timed}.
 
 \pnum
@@ -2147,7 +2147,7 @@
 
 \begin{itemdescr}
 \pnum
-\requires The supplied \tcode{Mutex} type shall meet the \tcode{TimedLockable} requirements\iref{thread.req.lockable.timed}.
+\requires The supplied \tcode{Mutex} type shall satisfy the \tcode{TimedLockable} requirements\iref{thread.req.lockable.timed}.
 
 \pnum
 \effects As if by \tcode{pm->try_lock_for(rel_time)}.
@@ -2316,7 +2316,7 @@
 is undefined if the contained pointer \tcode{pm} is not null and the lockable
 object pointed to by \tcode{pm} does not exist for the entire remaining
 lifetime\iref{basic.life} of the \tcode{shared_lock} object. The supplied
-\tcode{Mutex} type shall meet the shared mutex
+\tcode{Mutex} type shall satisfy the shared mutex
 requirements\iref{thread.sharedtimedmutex.requirements}.
 
 \pnum
@@ -2695,7 +2695,7 @@
 
 \begin{itemdescr}
 \pnum
-\requires Each template parameter type shall meet the \tcode{Lockable} requirements. \begin{note} The
+\requires Each template parameter type shall satisfy the \tcode{Lockable} requirements. \begin{note} The
 \tcode{unique_lock} class template meets these requirements when suitably instantiated.
 \end{note}
 
@@ -2719,7 +2719,7 @@
 
 \begin{itemdescr}
 \pnum
-\requires Each template parameter type shall meet the \tcode{Lockable} requirements,
+\requires Each template parameter type shall satisfy the \tcode{Lockable} requirements,
 \begin{note} The
 \tcode{unique_lock} class template meets these requirements when suitably instantiated.
 \end{note}
@@ -3325,7 +3325,7 @@
 \rSec2[thread.condition.condvarany]{Class \tcode{condition_variable_any}}
 
 \pnum
-A \tcode{Lock} type shall meet the \tcode{BasicLockable}
+A \tcode{Lock} type shall satisfy the \tcode{BasicLockable}
 requirements\iref{thread.req.lockable.basic}. \begin{note} All of the standard
 mutex types meet this requirement. If a \tcode{Lock} type other than one of the
 standard mutex types or a \tcode{unique_lock} wrapper for a standard mutex type