<bicond>
<bicond> (双条件制約) 前提部と帰結部が同値関係である制約を定義する.すなわ ち,2つが共に真であるか,またはともに偽である場合に,当該条件節は 真になる. 18.11 Feature System Declaration | |
モジュール | iso-fs — 18 Feature Structures |
属性 | |
当該モジュールを使用するもの | fsConstraints |
下位 | |
宣言 | |
解説 | May contain two feature structures or feature-structure
groups, separated by an empty <iff> element. |