<iff>
<iff> (if and only if) 必要十分条件における前提部と帰結部の区切を示す. 18.11 Feature System Declaration | |
モジュール | iso-fs — 18 Feature Structures |
属性 | |
当該モジュールを使用するもの | |
下位 | 空要素 |
宣言 |
element iff { att.global.attributes, empty } |
例 | <bicond> <fs> <f name="FOO"> <symbol value="42"/> </f> </fs> <iff/> <fs> <f name="BAR"> <binary value="true"/> </f> </fs> </bicond> |
解説 |
当該要素は,素性システム宣言を,人に読みやすくするためのものである.
|