<iff>
<iff> 必要十分条件における前提部と帰結部の区切を示す. 18.11 素性システム宣言 | |
モジュール | iso-fs — 18 素性構造 |
属性 | |
当該モジュールを使用するもの | |
下位 | 空要素 |
宣言 |
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> |
解説 | 当該要素は,素性システム宣言を,人に読みやすくするためのものである. |