<iff>
<iff> (if and only if) 必要十分条件における前提部と帰結部の区切を示す. [18.11 Feature System Declaration] | |
モジュール | iso-fs — Feature Structures |
属性 | att.global (@xml:id, @n, @xml:lang, @rend, @style, @rendition, @xml:base, @xml:space) (att.global.linking (@corresp, @synch, @sameAs, @copyOf, @next, @prev, @exclude, @select)) (att.global.analytic (@ana)) (att.global.facs (@facs)) (att.global.change (@change)) |
上位 | iso-fs: bicond |
下位 | 空要素 |
宣言 |
element iff { att.global.attributes, att.global.linking.attributes, att.global.analytic.attributes, att.global.facs.attributes, att.global.change.attributes, empty } |
例 | <bicond> <fs> <f name="FOO"> <symbol value="42"/> </f> </fs> <iff/> <fs> <f name="BAR"> <binary value="true"/> </f> </fs> </bicond> |
解説 | 当該要素は,素性システム宣言を,人に読みやすくするためのものである. |