File tree Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Original file line number Diff line number Diff line change 53
53
input values for which the expression is required to be well-defined.
54
54
55
55
\pnum
56
- Expressions required by this document to be equality-preserving are further
56
+ Expressions required to be equality-preserving are further
57
57
required to be stable: two evaluations of such an expression with the same input
58
58
objects are required to have equal outputs absent any explicit intervening
59
59
modification of those input objects.
69
69
\end {note }
70
70
71
71
\pnum
72
- Expressions declared in a \grammarterm {requires-expression} in this document are
72
+ Expressions declared in a \grammarterm {requires-expression} in the library clauses are
73
73
required to be equality-preserving, except for those annotated with the comment
74
74
`` not required to be equality-preserving.'' An expression so annotated
75
75
may be equality-preserving, but is not required to be so.
76
76
77
77
\pnum
78
78
An expression that may alter the value of one or more of its inputs in a manner
79
79
observable to equality-preserving expressions is said to modify those inputs.
80
- This document uses a notational convention to specify which expressions declared
80
+ The library clauses use a notational convention to specify which expressions declared
81
81
in a \grammarterm {requires-expression} modify which inputs: except where
82
82
otherwise specified, an expression operand that is a non-constant lvalue or
83
83
rvalue may be modified. Operands that are constant lvalues or rvalues are
You can’t perform that action at this time.
0 commit comments