ГОСТ Р ИСО 24610-2—2013
биусловное ограничение, так как имеются другие экземпляры, для которых элемент SUBCAT не подхо
дит, т. е.:
<cond>
<fs>
<f name="bar">
<symbol value=’ 1’/>
<ft>
</fs>
<thon/>
<fs>
<f name=”subcat“>
<binary value="false7>
</f>
</fs>
</cond>
Формальнаядекларациядляограниченийструктуры элементовкодируется так, какпоказанониже.
При этом следует иметь в виду, что элементы <cond> и <bicond> используют пустые теги <then> и <iff>,
соответственнодля разделения логического условия иследствия. Этоделается в основном ради обес
печения удобочитаемости.
fsConstraints = element fsConstraints
{
att.global. attributes,
(cond | bicond )*
}
cond =element cond
{
att.global.attributes,
((fs |f ).then.(fs|f))
}
bicond =elementbicond
{
att.global.attributes,
((fs | f ), iff. (fs |f ))
}
iff= element iff
{
att.global.attributes.
empty
}
32