-
Notifications
You must be signed in to change notification settings - Fork 9
Open
Description
vsvis aIriStemRange,LiteralStemRangeorLanguageStemRangewith stemstand exclusionsexclsandnodeIn(n, st)and there is noxinexclssuch thatnodeIn(n, excl).
Presumably x should be excl (or the other way around)? Same for the subsequent bullet point.
Line 1281 in 7db55d6
| <li><span class="math" id="nodeSatisfies-Wildcard">vsv</span> is a <span class="jobjref"><a class="nobref">Wildcard</a></span> with <span class="param">exclusions</span> <span class="math">excls</span> and there is no <span class="math">x</span> in <span class="math">excls</span> such that <span class="math function" >nodeIn(n, excl)</span>.</li> |
Metadata
Metadata
Assignees
Labels
No labels