diff options
author | 2017-06-28 06:38:52 +0000 | |
---|---|---|
committer | 2017-06-28 06:38:52 +0000 | |
commit | 91be984ad59f3a9959e16a948d240ea24b9746e4 (patch) | |
tree | 63175313fa6516b486b8b584c22bfb2153cd02be | |
parent | /* QA check logic */ use symbols to shorten the algos, and make them look mor... (diff) | |
download | glep-91be984ad59f3a9959e16a948d240ea24b9746e4.tar.gz glep-91be984ad59f3a9959e16a948d240ea24b9746e4.tar.bz2 glep-91be984ad59f3a9959e16a948d240ea24b9746e4.zip |
/* QA check logic */ make it clear we're not going out of single C
-rw-r--r-- | GLEP:73.mw | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -209,8 +209,8 @@ The check for alteration of immutable flags is done for every constraint separat * ''E'' references an immutable flag whose immutable state is ''¬E''. The check for self-conflicting constraints is performed for every constraint separately. A flat constraint is determined to be self-conflicting if the following condition occurs: -* for any ''c<sub>i</sub>'': -** there is at least one ''c<sub>j</sub>'' (''j ≠ i'') that is ''¬c<sub>i</sub>''. +* for any ''c<sub>i</sub>'' in ''C'': +** there is at least one ''c<sub>j</sub>'' (''j ≠ i'', in the same ''C'') that is ''¬c<sub>i</sub>''. ==Rationale== ===Restrictions for allowed REQUIRED_USE syntax=== |